Index of /fp/darcs/proof

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 Actions.hs              23-Jul-2007 18:00  4.8K  
 Display.hs              22-Jul-2007 23:42  553   
 Example/                23-Jul-2007 18:00    -   
 Layout.hs               22-Jul-2007 16:45  1.1K  
 Lexemes.hs              23-Jul-2007 10:42  3.4K  
 Main.hs                 23-Jul-2007 18:00  5.6K  
 Type.hs                 23-Jul-2007 18:00  1.7K  
 _darcs/                 23-Jul-2007 18:00    -   
 make.bat                22-Jul-2007 23:42  232   
 proof.glade             22-Jul-2007 23:42  2.0K  
 push.bat                22-Jul-2007 16:45   80

Apache/2.2.21 (Unix) mod_ssl/2.2.21 OpenSSL/0.9.8y DAV/2 mod_mono/2.10 mod_jk/1.2.32 mod_auth_kerb/5.4 Server at www.cs.york.ac.uk Port 80