Index of /~inari/testing-examples/dut/arity1
Name
Last modified
Size
Description
Parent Directory
-
TestLangDut_pot*.org
2018-06-12 16:56
9.3K
TestLangDut_num.org
2018-06-12 16:56
689
TestLangDut_UseV.org
2018-06-12 16:56
19K
TestLangDut_UsePron.org
2018-06-12 16:56
638
TestLangDut_UsePN.org
2018-06-12 16:56
257
TestLangDut_UseN2.org
2018-06-12 16:56
541
TestLangDut_UseN.org
2018-06-12 16:56
774
TestLangDut_UseComparA.org
2018-06-12 16:56
1.5K
TestLangDut_UseComp.org
2018-06-12 16:56
15K
TestLangDut_UseA2.org
2018-06-12 16:56
1.5K
TestLangDut_Use3N3.org
2018-06-12 16:56
718
TestLangDut_Use2N3.org
2018-06-12 16:56
722
TestLangDut_SlashV2a.org
2018-06-12 16:56
69K
TestLangDut_RelCl.org
2018-06-12 16:56
14K
TestLangDut_ReflVP.org
2018-06-12 16:56
188K
TestLangDut_ReflA2.org
2018-06-12 16:56
1.7K
TestLangDut_ProgrVP.org
2018-06-12 16:56
14K
TestLangDut_PossPron.org
2018-06-12 16:56
1.5K
TestLangDut_Posit*.org
2018-06-12 16:56
1.7K
TestLangDut_PassV2.org
2018-06-12 16:56
29K
TestLangDut_Ord*.org
2018-06-12 16:56
4.9K
TestLangDut_Num*.org
2018-06-12 16:56
2.0K
TestLangDut_MassNP.org
2018-06-12 16:56
263
TestLangDut_IdetIP.org
2018-06-12 16:56
752
TestLangDut_IDig.org
2018-06-12 16:56
566
TestLangDut_GenericCl.org
2018-06-12 16:56
7.4K
TestLangDut_ExistIP.org
2018-06-12 16:56
3.0K
TestLangDut_EmbedVP.org
2018-06-12 16:56
152
TestLangDut_EmbedS.org
2018-06-12 16:56
194
TestLangDut_EmbedQS.org
2018-06-12 16:56
176
TestLangDut_DetNP.org
2018-06-12 16:56
380
TestLangDut_AdnCAdv.org
2018-06-12 16:56
180
TestLangDut_AdjOrd.org
2018-06-12 16:56
1.6K
Apache/2.4.29 (Ubuntu) Server at old-darcs.grammaticalframework.org Port 80