| Name | Date | Size | |
|---|---|---|---|
| .. | 2016-03-25 20:00:16 | 117 | |
| hets-mmt-standalone.jar | 2013-08-12 17:52:00 | 11.5 MiB | |
| Hets2mmt.hs | 2016-03-25 20:00:16 | 2.6 KiB | |
| newcomorphism-err.het | 2012-11-30 15:00:19 | 305 | |
| newcomorphism-pf.het | 2012-11-30 15:00:19 | 321 | |
| newlogic-fol.het | 2012-11-30 15:00:19 | 294 | |
| newlogic-pl.het | 2012-11-30 15:00:19 | 386 | |
| newlogic-pl2.het | 2012-11-30 15:00:19 | 350 | |
| newLogicTemplates | 2013-08-12 17:52:00 | 10 | |
| spec-fol.het | 2012-11-30 15:00:19 | 519 | |
| spec-pl.het | 2012-11-30 15:00:19 | 57 | |
| Tools.hs | 2016-03-25 20:00:16 | 892 | |
| XMLtoPT.hs | 2016-03-25 20:00:16 | 4.5 KiB |