| Fri, 17 Nov 2006 02:19:51 +0100 | wenzelm | added where_; | changeset | files |
| Thu, 16 Nov 2006 20:19:50 +0100 | huffman | add lemmas LIM_zero_iff, LIM_norm_zero_iff | changeset | files |
| Thu, 16 Nov 2006 17:06:24 +0100 | paulson | Includes type:sort constraints in its code to collect predicates in axiom clauses. | changeset | files |
| Thu, 16 Nov 2006 17:05:23 +0100 | paulson | Now includes only types used to instantiate overloaded constants in arity clauses | changeset | files |