Thu, 24 Jun 2010 11:08:21 +0200 | wenzelm | more accurate dependencies; | changeset | files |
Thu, 24 Jun 2010 09:04:50 +0200 | haftmann | made smlnj happy | changeset | files |
Wed, 23 Jun 2010 16:28:12 +0200 | blanchet | fix syntax bug in the TPTP output, by ensuring that "hBOOL" is correctly used for n-ary predicates even if (n + k)-ary occurrences of the same predicate, but with a different type, occur in the same problem | changeset | files |