Index of /2000/10/swap/test/reify

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[TXT]dereify0.n326-Oct-2004 14:19 1.0K 
[TXT]dereify1.n326-Jan-2005 18:01 13K 
[TXT]dereify2.n326-Oct-2004 14:19 64K 
[   ]detailed.tests28-Oct-2004 17:42 3.7K 
[TXT]ex1.n331-Dec-2004 19:12 87  
[TXT]flatten0.n326-Oct-2004 14:19 1.1K 
[TXT]flatten1.n326-Oct-2004 14:19 8.4K 
[TXT]quantifiers.ref.n318-Jan-2005 19:29 85K 
[TXT]reify0.n306-Jul-2004 18:04 1.0K 
[TXT]reify1.n318-Jan-2005 19:29 9.4K 
[TXT]reify2.n324-Jan-2005 18:59 36K 
[TXT]reify3.n308-Dec-2004 19:54 231K