| Name | Date | Size | |
|---|---|---|---|
| .. | 2018-01-08 15:30:14 | 117 | |
| AS.der.hs | 2017-08-22 09:13:52 | 65.1 KiB | |
| Common.hs | 2018-01-04 14:30:40 | 1.2 KiB | |
| Documents | 2017-08-22 09:13:52 | 3 | |
| Logic_TPTP.hs | 2017-10-14 17:22:44 | 3.6 KiB | |
| Morphism | 2017-08-22 09:13:52 | 3 | |
| Morphism.hs | 2017-08-22 09:13:52 | 2.4 KiB | |
| ParseAsLibDefn.hs | 2017-08-22 09:13:52 | 3.2 KiB | |
| Parser.hs | 2017-08-22 09:13:52 | 100 KiB | |
| Pretty.hs | 2017-08-22 09:13:52 | 82.2 KiB | |
| Prover | 2018-01-08 15:30:14 | 17 | |
| Sign.hs | 2017-08-22 09:13:52 | 5.9 KiB | |
| StaticAnalysis.hs | 2017-08-22 09:13:52 | 44 KiB | |
| Sublogic.hs | 2017-08-22 09:13:52 | 4.8 KiB | |
| Translate.hs | 2018-01-08 15:30:14 | 2.2 KiB |