| Name | Date | Size | |
|---|---|---|---|
| .. | 2018-03-27 11:35:53 | 117 | |
| example_binom.hol | 2011-11-17 14:57:16 | 793 | |
| Helper.hs | 2016-03-25 20:00:16 | 17.7 KiB | |
| HolLight2DG.hs | 2018-03-27 11:35:53 | 14.8 KiB | |
| Logic_HolLight.hs | 2017-10-14 17:22:44 | 3.4 KiB | |
| Makefile | 2011-05-30 15:46:44 | 176 | |
| OcamlTools | 2016-05-09 20:30:30 | 8 | |
| Sentence.hs | 2016-03-25 20:00:16 | 12.7 KiB | |
| Sign.hs | 2016-03-25 20:00:16 | 1.3 KiB | |
| Sublogic.hs | 2014-10-08 15:26:05 | 162 | |
| Term.hs | 2016-03-25 20:00:16 | 1 KiB |