| Name | Date | Size | |
|---|---|---|---|
| .. | 2018-03-27 11:35:53 | 117 | |
| Analysis.hs | 2016-03-25 20:00:16 | 7.5 KiB | |
| AS.hs | 2016-03-25 20:00:16 | 2 KiB | |
| ComorphFram.hs | 2013-11-29 03:57:59 | 5.8 KiB | |
| Framework.hs | 2016-03-25 20:00:16 | 8.7 KiB | |
| ImplOL.hs | 2016-03-25 20:00:16 | 4.4 KiB | |
| Logic_LF.hs | 2017-12-07 18:18:16 | 3 KiB | |
| Morphism.hs | 2016-03-25 20:00:16 | 7.2 KiB | |
| MorphParser.hs | 2013-11-29 03:57:59 | 5.1 KiB | |
| Parse.hs | 2016-03-25 20:00:16 | 1.8 KiB | |
| Sign.hs | 2016-03-25 20:00:16 | 13.6 KiB | |
| test | 2011-02-25 17:31:23 | 3 | |
| Twelf2DG.hs | 2018-03-27 11:35:53 | 6.3 KiB | |
| Twelf2GR.hs | 2016-03-25 20:00:16 | 28.9 KiB |