Index of /~csulrich/ftp/logic/prover

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory - [TXT] Buss.hs 2015-05-05 12:12 6.2K [TXT] Formula.hs 2015-05-05 12:12 4.8K [TXT] Parser.hs 2015-05-05 12:12 6.2K [TXT] Perhaps.hs 2015-05-05 12:12 1.0K [TXT] Proof.hs 2015-05-05 12:12 13K [TXT] Prover.hs 2015-05-05 12:12 2.0K [   ] README 2015-05-05 12:12 2.4K [   ] README-LINUX-LAB 2015-05-05 12:12 796 [TXT] ReadShow.hs 2015-05-05 12:12 4.6K [TXT] Step.hs 2015-05-05 12:12 5.5K [TXT] SystemL.hs 2015-05-05 12:12 344 [TXT] SystemW.hs 2015-05-05 12:12 227 [   ] USER-MANUAL 2015-05-05 12:12 7.6K [   ] prover.zip 2015-05-05 12:12 105K [   ] proverfiles.zip 2015-05-05 12:12 17K
Apache Server at arrepository.swansea.ac.uk Port 80