Computer Science, Swansea
Icon  Name                    Last modified      Size  Description
[TXT] Buss.hs 05-May-2015 12:12 6.2K [TXT] Formula.hs 05-May-2015 12:12 4.8K [TXT] Parser.hs 05-May-2015 12:12 6.2K [TXT] Perhaps.hs 05-May-2015 12:12 1.0K [TXT] Proof.hs 05-May-2015 12:12 13K [TXT] Prover.hs 05-May-2015 12:12 2.0K [   ] README 05-May-2015 12:12 2.4K [   ] README-LINUX-LAB 05-May-2015 12:12 796 [TXT] ReadShow.hs 05-May-2015 12:12 4.6K [TXT] Step.hs 05-May-2015 12:12 5.5K [TXT] SystemL.hs 05-May-2015 12:12 344 [TXT] SystemW.hs 05-May-2015 12:12 227 [   ] USER-MANUAL 05-May-2015 12:12 7.6K [   ] prover.zip 05-May-2015 12:12 105K [   ] proverfiles.zip 05-May-2015 12:12 17K