| Wed, 28 Nov 2007 16:26:03 +0100 | paulson | Chained theorems are no longer mentioned in metis calls and (if used) they prevent the | changeset | files |
| Wed, 28 Nov 2007 16:16:01 +0100 | paulson | comment | changeset | files |
| Wed, 28 Nov 2007 15:26:39 +0100 | haftmann | (reverted to unnamed infix) | changeset | files |
| Wed, 28 Nov 2007 15:09:20 +0100 | haftmann | simplified interpretations | changeset | files |
| Wed, 28 Nov 2007 15:09:19 +0100 | haftmann | deleted looping code theorem | changeset | files |
| Wed, 28 Nov 2007 14:56:38 +0100 | berghofe | to_set now applies collect_mem_simproc as well. | changeset | files |
| Wed, 28 Nov 2007 09:01:50 +0100 | haftmann | naming policy for instances | changeset | files |
| Wed, 28 Nov 2007 09:01:42 +0100 | haftmann | tuned interfaces of class module | changeset | files |
| Wed, 28 Nov 2007 09:01:40 +0100 | haftmann | dropped dead code | changeset | files |
| Wed, 28 Nov 2007 09:01:39 +0100 | haftmann | dropped legacy unnamed infix | changeset | files |
| Wed, 28 Nov 2007 09:01:37 +0100 | haftmann | dropped implicit assumption proof | changeset | files |
| Wed, 28 Nov 2007 09:01:34 +0100 | haftmann | dropped legacy ml bindings | changeset | files |
| Tue, 27 Nov 2007 21:06:52 +0100 | wenzelm | tuned titles; | changeset | files |
| Tue, 27 Nov 2007 19:43:41 +0100 | wenzelm | moved titles; | changeset | files |