| Name | Date | Size | |
|---|---|---|---|
| .. | 2017-10-14 16:41:22 | 117 | |
| Analysis.hs | 2016-03-25 20:00:16 | 12.9 KiB | |
| AS_BASIC_Propositional.der.hs | 2016-03-25 20:00:16 | 4.9 KiB | |
| Conservativity.hs | 2016-03-25 20:00:16 | 4.8 KiB | |
| Conversions.hs | 2016-03-25 20:00:16 | 4 KiB | |
| Fold.hs | 2016-03-25 20:00:16 | 6.2 KiB | |
| Logic_Propositional.hs | 2017-10-14 16:41:22 | 7.1 KiB | |
| Morphism.hs | 2016-03-25 20:00:16 | 5.4 KiB | |
| Parse_AS_Basic.hs | 2016-03-25 20:00:16 | 5.5 KiB | |
| Prop2CASLHelpers.hs | 2016-03-25 20:00:16 | 4.1 KiB | |
| Prove.hs | 2016-03-25 20:00:16 | 10.1 KiB | |
| ProveMinisat.hs | 2016-03-25 20:00:16 | 9.6 KiB | |
| ProverState.hs | 2016-03-25 20:00:16 | 2 KiB | |
| ProveWithTruthTable.hs | 2016-03-25 20:00:16 | 16.8 KiB | |
| Sign.hs | 2016-03-25 20:00:16 | 2.7 KiB | |
| Sublogic.hs | 2016-03-25 20:00:16 | 12.6 KiB | |
| Symbol.hs | 2016-03-25 20:00:16 | 2.4 KiB | |
| TestCons | 2008-10-30 14:43:30 | 4 | |
| TestData | 2010-06-03 12:23:21 | 4 | |
| TestProp2CNF.hs | 2016-03-25 20:00:16 | 2 KiB | |
| Tools.hs | 2016-03-25 20:00:16 | 1.3 KiB |