| Thu, 02 Feb 2006 21:59:55 +0100 | wenzelm | do not open structure; | changeset | files |
| Thu, 02 Feb 2006 19:57:13 +0100 | huffman | reimplemented using Equiv_Relations.thy | changeset | files |
| Thu, 02 Feb 2006 18:04:10 +0100 | haftmann | improvement in devarifications | changeset | files |
| Thu, 02 Feb 2006 18:03:35 +0100 | haftmann | alternative syntax for instances | changeset | files |
| Thu, 02 Feb 2006 16:37:10 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 02 Feb 2006 16:31:38 +0100 | wenzelm | consumes: negative argument relative to total number of prems; | changeset | files |
| Thu, 02 Feb 2006 16:31:37 +0100 | wenzelm | added refine_insert; | changeset | files |