| Thu, 22 Dec 2005 00:28:34 +0100 | wenzelm | updated auxiliary facts for induct method; | changeset | files |
| Wed, 21 Dec 2005 17:00:57 +0100 | haftmann | slight improvements | changeset | files |
| Wed, 21 Dec 2005 15:19:16 +0100 | haftmann | slight improvements in name handling | changeset | files |
| Wed, 21 Dec 2005 15:18:57 +0100 | haftmann | slight refinements | changeset | files |
| Wed, 21 Dec 2005 15:18:36 +0100 | haftmann | added eq_ord | changeset | files |
| Wed, 21 Dec 2005 15:18:17 +0100 | haftmann | slight clean ups | changeset | files |
| Wed, 21 Dec 2005 13:25:20 +0100 | haftmann | discontinued unflat in favour of burrow and burrow_split | changeset | files |
| Wed, 21 Dec 2005 12:06:08 +0100 | paulson | new hash table module in HOL/Too/s | changeset | files |
| Wed, 21 Dec 2005 12:05:47 +0100 | paulson | modified suffix for [iff] attribute | changeset | files |
| Wed, 21 Dec 2005 12:02:57 +0100 | paulson | removed or modified some instances of [iff] | changeset | files |
| Tue, 20 Dec 2005 22:06:00 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 20 Dec 2005 09:02:41 +0100 | haftmann | added .cvsignore | changeset | files |
| Tue, 20 Dec 2005 09:01:48 +0100 | haftmann | removed improper .cvsignore | changeset | files |
| Tue, 20 Dec 2005 08:58:36 +0100 | haftmann | removed superfluos is_prefix functions | changeset | files |
| Tue, 20 Dec 2005 08:38:43 +0100 | haftmann | resolved shadowing of Library.find_first | changeset | files |
| Tue, 20 Dec 2005 08:38:10 +0100 | haftmann | removed infix prefix, introduces burrow | changeset | files |