Index of /fp/darcs/proof

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]Actions.hs2007-07-23 18:00 4.8K 
[TXT]Display.hs2007-07-22 23:42 553  
[DIR]Example/2007-07-23 18:00 -  
[TXT]Layout.hs2007-07-22 16:45 1.1K 
[TXT]Lexemes.hs2007-07-23 10:42 3.4K 
[TXT]Main.hs2007-07-23 18:00 5.6K 
[TXT]Type.hs2007-07-23 18:00 1.7K 
[DIR]_darcs/2007-07-23 18:00 -  
[   ]make.bat2007-07-22 23:42 232  
[   ]proof.glade2007-07-22 23:42 2.0K 
[   ]push.bat2007-07-22 16:45 80  

Apache/2.4.7 (Ubuntu) Server at www.cs.york.ac.uk Port 443