Wed, 21 Jul 2010 21:14:26 +0200 | blanchet | rename "combtyp" constructors | changeset | files |
Wed, 21 Jul 2010 21:14:07 +0200 | blanchet | renamed "Literal" to "FOLLiteral" | changeset | files |
Wed, 21 Jul 2010 21:13:46 +0200 | blanchet | renamed "HOLClause" to "FOLClause" -- it's really a FOL clause with combinators | changeset | files |