This directory is a darcs repository.
[More Information]
Icon  Name                           Last modified      Size  
[DIR] Parent Directory                                    -   
[   ] Rules.lhs                      12-Apr-2007 13:55   29K  
[   ] SpecConstr.lhs                 15-Feb-2007 23:39   42K  
[   ] Specialise.lhs                 12-Apr-2007 13:55   42K
Apache/2.0.54 (Unix) mod_ssl/2.0.54 OpenSSL/0.9.7c DAV/2 PHP/4.4.0 Server at darcs.brianweb.net Port 80