| Mon, 12 Apr 2010 19:29:16 -0700 | huffman | update domain package examples | changeset | files |
| 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 |
| Sun, 11 Apr 2010 17:46:42 +0200 | haftmann | removed rather toyish tree | changeset | files |
| Sun, 11 Apr 2010 17:40:43 +0200 | haftmann | updated keywords | changeset | files |