| Name | Date | Size | |
|---|---|---|---|
| .. | 2018-02-11 16:28:18 | 117 | |
| AS.hs | 2018-01-04 14:30:40 | 15.4 KiB | |
| CASL2OWL.hs | 2018-01-04 14:30:40 | 10.4 KiB | |
| ColimSign.hs | 2018-01-04 14:30:40 | 4.2 KiB | |
| ColonKeywords.hs | 2016-03-25 20:00:16 | 2.6 KiB | |
| ColonKeywords.list | 2011-06-25 00:40:11 | 517 | |
| Conservativity.hs | 2016-03-25 20:00:16 | 3 KiB | |
| CreateOWL.hs | 2016-03-25 20:00:16 | 1.7 KiB | |
| DMU2OWL2.hs | 2016-03-25 20:00:16 | 2.8 KiB | |
| Extract.hs | 2018-01-04 14:30:40 | 5.9 KiB | |
| ExtractModule.hs | 2016-06-01 07:17:30 | 1.8 KiB | |
| Function.hs | 2018-01-04 14:30:40 | 9.6 KiB | |
| java | 2018-01-03 00:01:26 | 5 | |
| Keywords.hs | 2016-03-25 20:00:16 | 5.9 KiB | |
| Keywords.list | 2011-06-25 00:40:11 | 251 | |
| Logic_OWL2.hs | 2018-01-04 14:30:40 | 7.5 KiB | |
| ManchesterParser.hs | 2018-01-04 14:30:40 | 8.2 KiB | |
| ManchesterPrint.hs | 2018-01-04 14:30:40 | 7.2 KiB | |
| Medusa.hs | 2018-01-04 14:30:40 | 4.5 KiB | |
| MedusaToJson.hs | 2018-01-04 14:30:40 | 1.3 KiB | |
| Morphism.hs | 2018-01-04 14:30:40 | 7.9 KiB | |
| MS.hs | 2018-01-04 14:30:40 | 7.8 KiB | |
| MS2Ship.hs | 2018-01-04 14:30:40 | 7.3 KiB | |
| OWL22CASL.hs | 2018-01-04 14:30:40 | 31.9 KiB | |
| OWL22CommonLogic.hs | 2018-01-04 14:30:40 | 31.6 KiB | |
| Parse.hs | 2018-01-04 14:30:40 | 17.7 KiB | |
| ParseOWL.hs | 2018-02-11 16:28:18 | 3.2 KiB | |
| ParseOWLAsLibDefn.hs | 2018-02-11 16:28:18 | 2 KiB | |
| Print.hs | 2018-01-04 14:30:40 | 6.9 KiB | |
| Profiles.hs | 2016-03-25 20:00:16 | 11.7 KiB | |
| ProfilesAndSublogics.hs | 2016-03-25 20:00:16 | 1.8 KiB | |
| Propositional2OWL2.hs | 2018-01-04 14:30:40 | 3.8 KiB | |
| ProveFact.hs | 2016-03-25 20:00:16 | 9.2 KiB | |
| ProvePellet.hs | 2016-03-25 20:00:16 | 10.2 KiB | |
| ProverState.hs | 2016-03-25 20:00:16 | 1.7 KiB | |
| Rename.hs | 2018-01-04 14:30:40 | 4.6 KiB | |
| scripts | 2016-03-25 20:00:16 | 5 | |
| ShipSyntax.hs | 2016-03-25 20:00:16 | 10.8 KiB | |
| Sign.hs | 2018-01-04 14:30:40 | 5.6 KiB | |
| StaticAnalysis.hs | 2018-01-04 14:30:40 | 24.2 KiB | |
| Sublogic.hs | 2016-03-25 20:00:16 | 8.7 KiB | |
| Symbols.hs | 2018-01-04 14:30:40 | 984 | |
| Taxonomy.hs | 2018-02-11 16:28:18 | 3.1 KiB | |
| tests | 2016-05-09 20:30:30 | 95 | |
| Theorem.hs | 2018-01-04 14:30:40 | 3.8 KiB | |
| Translate.hs | 2018-01-04 14:30:40 | 1.5 KiB | |
| XML.hs | 2018-01-04 14:30:40 | 23 KiB | |
| XMLConversion.hs | 2018-01-08 14:03:23 | 21 KiB | |
| XMLKeywords.hs | 2016-03-25 20:00:16 | 6.9 KiB |