| Sat, 13 May 2006 02:51:43 +0200 | wenzelm | 'defs': unchecked flag; | changeset | files |
| Sat, 13 May 2006 02:51:42 +0200 | wenzelm | Theory.add_defs(_i): added unchecked flag; | changeset | files |
| Sat, 13 May 2006 02:51:40 +0200 | wenzelm | added add_defs_unchecked(_i); | changeset | files |
| Sat, 13 May 2006 02:51:37 +0200 | wenzelm | actually reject malformed defs; | changeset | files |
| Sat, 13 May 2006 02:51:35 +0200 | wenzelm | moved defs explanation to isar-ref; | changeset | files |
| Sat, 13 May 2006 02:51:33 +0200 | wenzelm | added defs (unchecked)''; | changeset | files |
| Sat, 13 May 2006 02:51:30 +0200 | wenzelm | * Pure: overloaded definitions are now actually checked for acyclic dependencies; | changeset | files |
| Fri, 12 May 2006 18:11:09 +0200 | wenzelm | tuned; | changeset | files |