| Sat, 04 Feb 2006 02:37:09 +0100 | huffman | UU_reorient_simproc no longer rewrites UU = numeral | changeset | files |
| Fri, 03 Feb 2006 23:12:31 +0100 | wenzelm | removed obsolete gen_ins/mem; | changeset | files |
| Fri, 03 Feb 2006 23:12:30 +0100 | wenzelm | removed add/del_rules; | changeset | files |
| Fri, 03 Feb 2006 23:12:28 +0100 | wenzelm | canonical member/insert/merge; | changeset | files |
| Fri, 03 Feb 2006 17:08:03 +0100 | paulson | removal of case analysis clauses | changeset | files |
| Fri, 03 Feb 2006 17:02:33 +0100 | haftmann | fix | changeset | files |
| Fri, 03 Feb 2006 11:48:11 +0100 | haftmann | minor improvements | changeset | files |
| Fri, 03 Feb 2006 11:47:57 +0100 | haftmann | refined signature of locale module | changeset | files |
| Fri, 03 Feb 2006 08:48:33 +0100 | haftmann | no toplevel 'thy' anymore | changeset | files |
| Fri, 03 Feb 2006 08:48:16 +0100 | haftmann | fix in codegen | changeset | files |
| 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 |