| Name | Date | Size | |
|---|---|---|---|
| .. | 2016-03-25 20:00:16 | 117 | |
| As.der.hs | 2016-03-25 20:00:16 | 12.1 KiB | |
| Cons.hs | 2016-03-25 20:00:16 | 1.6 KiB | |
| HasCASL2THF0Buildins.hs | 2016-03-25 20:00:16 | 6.5 KiB | |
| Logic_THF.hs | 2016-03-25 20:00:16 | 5 KiB | |
| ParseTHF.hs | 2016-03-25 20:00:16 | 40 KiB | |
| Poly.hs | 2016-03-25 20:00:16 | 17.9 KiB | |
| Print.hs | 2016-03-25 20:00:16 | 3 KiB | |
| PrintTHF.hs | 2016-03-25 20:00:16 | 16.1 KiB | |
| ProveIsabelle.hs | 2016-03-25 20:00:16 | 1.9 KiB | |
| ProveLeoII.hs | 2016-03-25 20:00:16 | 1.5 KiB | |
| ProverState.hs | 2016-03-25 20:00:16 | 1.8 KiB | |
| ProveSatallax.hs | 2016-03-25 20:00:16 | 1.4 KiB | |
| Sign.hs | 2016-03-25 20:00:16 | 8.4 KiB | |
| StaticAnalysisTHF.hs | 2016-03-25 20:00:16 | 12.4 KiB | |
| Sublogic.hs | 2016-03-25 20:00:16 | 7.7 KiB | |
| SZSProver.hs | 2016-03-25 20:00:16 | 8 KiB | |
| Test | 2013-06-28 20:46:49 | 10 | |
| Translate.hs | 2016-03-25 20:00:16 | 5.5 KiB | |
| Utils.hs | 2016-03-25 20:00:16 | 18.3 KiB |