| Name | Date | Size | |
|---|---|---|---|
| .. | 2016-03-25 20:00:16 | 29 | |
| AddAxiomSpec.het | 2010-09-27 17:07:08 | 57 | |
| AddNodeSpec2.het | 2011-10-11 15:51:57 | 138 | |
| AddNodeSpec3.het | 2011-10-31 16:16:06 | 291 | |
| AddSymbolSpec.het | 2010-09-27 17:07:08 | 52 | |
| AddTheoremSpec.het | 2010-09-27 17:07:08 | 66 | |
| Makefile | 2011-10-31 16:05:00 | 93 | |
| ModifyAxiomSpec.het | 2010-09-27 17:07:08 | 49 | |
| ModifySymbolSpec.het | 2010-09-27 17:07:08 | 49 | |
| ModifyTheoremSpec.het | 2010-09-27 17:07:08 | 49 | |
| R1.het | 2011-03-23 15:34:52 | 123 | |
| RelShort.het | 2006-07-10 13:36:29 | 3.9 KiB | |
| RemoveAxiomSpec.het | 2010-09-27 17:07:08 | 41 | |
| RemoveNodeSpec2.het | 2011-10-11 15:51:57 | 114 | |
| RemoveNodeSpec3.het | 2011-10-31 16:16:06 | 267 | |
| RemoveSymbolSpec.het | 2010-09-27 17:07:08 | 46 | |
| RemoveTheoremSpec.het | 2010-09-27 17:13:28 | 32 | |
| run.sh | 2011-10-31 16:16:06 | 1.6 KiB | |
| Spec.het | 2010-09-27 17:07:08 | 49 | |
| Spec2.het | 2011-10-11 15:51:57 | 133 | |
| Spec3.het | 2011-10-31 16:16:06 | 286 | |
| TestDGTrans.hs | 2016-03-25 20:00:16 | 1.4 KiB |