| 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 |
| Sun, 11 Apr 2010 16:51:36 +0200 | haftmann | merged | changeset | files |
| Sun, 11 Apr 2010 16:51:07 +0200 | haftmann | user interface for abstract datatypes is an attribute, not a command | changeset | files |
| Sun, 11 Apr 2010 16:51:06 +0200 | haftmann | implementation of mappings by rbts | changeset | files |