| Mon, 12 Apr 2010 16:21:27 -0700 | huffman | remove dead code | changeset | files |
| Mon, 12 Apr 2010 16:04:32 -0700 | huffman | share more code between definitional and axiomatic domain packages | changeset | files |
| Mon, 12 Apr 2010 15:05:42 -0700 | huffman | for axiomatic domain package, declare types and arities in domain_axioms.ML instead of domain_extender.ML | changeset | files |
| Mon, 12 Apr 2010 13:19:28 +0200 | Cezary Kaliszyk | Changed the type of Quot_True, so that it is an HOL constant. | changeset | files |