Name Date Revision

.. 2007-06-26 11:39:51 23 entries

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

Conversions.hs 2007-05-31 16:43:11 25fd36fdf079334afb498a4beb5b2b6f8395a172

CreateDFGDoc.hs 2007-04-16 13:44:05 61f922e6bac094f59ef5fbe1609b006fa7a86bb1

DFGParser.hs 2007-04-27 11:53:34 34b37b50a3ee3bc14cec4bb3defc1cd499858ce3

doc/ 2006-04-21 20:30:27 1bb7127b88283b16c2c987f3b2010423d774e7c1

Logic_SPASS.hs 2007-06-26 11:39:51 cd6e5706893519bfcf24539afa252fcbed5097dd

MathServCommunication.hs 2006-09-25 17:29:57 37be6bfd5a063e5f47d1e491d42b25f4304b0b7f

MathServMapping.hs 2007-06-06 16:38:46 37cce134447b600a828b22f00038c43360c8fe89

MathServParsing.hs 2007-06-06 16:39:38 aed83157a64e9282154dabc29a634ee87ce177ea

Morphism.hs 2007-05-18 16:22:05 3f7f909172b906c3a928889408abe7c481ad0dd9

Print.hs 2007-05-31 16:43:11 25fd36fdf079334afb498a4beb5b2b6f8395a172

PrintDFG.hs 2006-07-05 15:49:36 1eb161d68940bbd73446897f8704c562301a376b

PrintTPTP.hs 2007-06-06 16:41:19 0651a6cda7f13c49171d438b0c134c679476751d

Prove.hs 2007-06-26 11:39:51 cd6e5706893519bfcf24539afa252fcbed5097dd

Prove2.hs 2006-07-06 02:52:22 08803a0ff7402b2f569f56b2b8f9d3c3b71e83b7

ProveHelp.hs 2006-01-11 18:10:46 d9b14d1504b9c0828f4e7bf3b81afe3588ed0cfe

ProveMathServ.hs 2007-06-26 11:39:51 cd6e5706893519bfcf24539afa252fcbed5097dd

ProverState.hs 2007-04-05 02:44:38 42a1ecfd03824cbf13dad2d7fe488e462d9a583d

ProveVampire.hs 2007-06-26 11:39:51 cd6e5706893519bfcf24539afa252fcbed5097dd

Sign.hs 2007-05-31 16:43:11 25fd36fdf079334afb498a4beb5b2b6f8395a172

tests/ 2007-06-06 16:42:36 dc0316231e06d30f23ff4642ad8e10f593b11ec3

Translate.hs 2007-06-06 16:42:36 dc0316231e06d30f23ff4642ad8e10f593b11ec3

Utils.hs 2006-05-09 20:28:35 84870b073ef394967196baf2e1fcd819f857eb98