Name Date Revision

.. 2007-12-05 16:33:27 32 entries

ADoc.hs 2005-04-14 16:50:58 e0129220b23360473d606afe8646f032a7316b8f

AnalysisNotes.txt 2007-12-05 16:33:27 a6db617ca58eb6a0587b6366e913107dfecb71b5

AS.hs 2007-12-05 16:33:27 a6db617ca58eb6a0587b6366e913107dfecb71b5

ATC_OWL11.der.hs 2007-12-05 16:33:27 a6db617ca58eb6a0587b6366e913107dfecb71b5

doc/ 2007-12-05 16:33:27 a6db617ca58eb6a0587b6366e913107dfecb71b5

java/ 2007-12-05 14:59:10 cecfd75627906782ae740bf7c0cf5397a08468f5

lib/ 2007-12-05 16:33:27 a6db617ca58eb6a0587b6366e913107dfecb71b5

Logic_OWL11.hs 2007-12-05 16:33:27 a6db617ca58eb6a0587b6366e913107dfecb71b5

Logic_OWL_DL.hs 2007-12-05 14:59:10 cecfd75627906782ae740bf7c0cf5397a08468f5

Namespace.hs 2007-12-05 16:33:27 a6db617ca58eb6a0587b6366e913107dfecb71b5

output.tmp 2007-12-05 16:33:27 a6db617ca58eb6a0587b6366e913107dfecb71b5

OWL11/ 2007-12-05 16:33:27 a6db617ca58eb6a0587b6366e913107dfecb71b5

OWL11Parser.hs 2007-12-05 16:33:27 a6db617ca58eb6a0587b6366e913107dfecb71b5

OWL2ATerm.jar 2007-12-05 16:33:27 a6db617ca58eb6a0587b6366e913107dfecb71b5

OWL2ATerm.src.jar 2007-12-05 16:33:27 a6db617ca58eb6a0587b6366e913107dfecb71b5

owl_parser 2007-12-05 16:33:27 a6db617ca58eb6a0587b6366e913107dfecb71b5

owl_parser.installer 2007-12-05 16:33:27 a6db617ca58eb6a0587b6366e913107dfecb71b5

OWLAnalysis.hs 2007-12-05 16:33:27 a6db617ca58eb6a0587b6366e913107dfecb71b5

owlFile/ 2007-12-05 15:12:37 16b83af80ed49b0fda7d39a4884db021d0341663

Parser.hs 2006-03-15 21:40:54 1ad7f55ffd40f1c756c91aa410185ca0b8aafb38

Print.hs 2007-12-05 16:33:27 a6db617ca58eb6a0587b6366e913107dfecb71b5

processor 2007-12-05 14:59:10 cecfd75627906782ae740bf7c0cf5397a08468f5

ReadWrite.der.hs 2007-12-05 16:33:27 a6db617ca58eb6a0587b6366e913107dfecb71b5

ReadWrite.hs 2006-01-06 17:35:46 383aa66e5142365fe9b1f88b18c1da5b27cc8c04

Sign.hs 2007-12-05 16:33:27 a6db617ca58eb6a0587b6366e913107dfecb71b5

StaticAna.hs 2007-12-05 14:59:10 cecfd75627906782ae740bf7c0cf5397a08468f5

StaticAnalysis.hs 2007-12-05 16:33:27 a6db617ca58eb6a0587b6366e913107dfecb71b5

StructureAna.hs 2007-12-05 14:59:10 cecfd75627906782ae740bf7c0cf5397a08468f5

StructureAnalysis.hs 2007-12-05 16:33:27 a6db617ca58eb6a0587b6366e913107dfecb71b5

tests/ 2007-12-05 16:33:27 a6db617ca58eb6a0587b6366e913107dfecb71b5

todo 2007-07-20 02:41:57 e36d8e5d5152b1a1329b208f929645eee53d90b9

ToHaskellAS.hs 2007-12-05 14:59:10 cecfd75627906782ae740bf7c0cf5397a08468f5