| Name | Date | Size | |
|---|---|---|---|
| .. | 2017-10-14 17:22:44 | 117 | |
| Analysis.hs | 2016-03-25 20:00:16 | 14.6 KiB | |
| AS_CommonLogic.der.hs | 2016-03-25 20:00:16 | 9.3 KiB | |
| CASLSig.hs | 2016-03-25 20:00:16 | 1.3 KiB | |
| ClTests-Sublogic-ghci-script | 2011-07-05 20:25:21 | 1.6 KiB | |
| ClTests.hs | 2016-03-25 20:00:16 | 2.9 KiB | |
| ExpandCurie.hs | 2016-03-25 20:00:16 | 4.2 KiB | |
| Lexer_CLIF.hs | 2017-08-24 16:49:24 | 5.4 KiB | |
| Lexer_KIF.hs | 2016-03-25 20:00:16 | 2.8 KiB | |
| Logic_CommonLogic.hs | 2017-10-14 17:22:44 | 5.7 KiB | |
| ModuleElimination.hs | 2016-03-25 20:00:16 | 5.5 KiB | |
| Morphism.hs | 2016-03-25 20:00:16 | 6.9 KiB | |
| OMDoc.hs | 2016-03-25 20:00:16 | 1.4 KiB | |
| OMDocExport.hs | 2016-03-25 20:00:16 | 5 KiB | |
| OMDocImport.hs | 2016-03-25 20:00:16 | 7.1 KiB | |
| Parse_CLIF.hs | 2017-08-24 16:49:24 | 13.5 KiB | |
| Parse_KIF.hs | 2016-03-25 20:00:16 | 5.4 KiB | |
| ParseCLAsLibDefn.hs | 2016-03-25 20:00:16 | 8.2 KiB | |
| PredefinedCASLAxioms.hs | 2016-03-25 20:00:16 | 4.1 KiB | |
| Print_KIF.hs | 2016-03-25 20:00:16 | 4.4 KiB | |
| Sign.hs | 2016-03-25 20:00:16 | 4 KiB | |
| Sublogic.hs | 2016-03-25 20:00:16 | 12.9 KiB | |
| Symbol.hs | 2016-03-25 20:00:16 | 2.6 KiB | |
| TestData | 2013-05-03 02:31:39 | 30 | |
| Tools.hs | 2016-03-25 20:00:16 | 7.3 KiB |