| Sun, 27 Nov 2005 05:09:43 +0100 | urbanc | some minor tunings | changeset | files |
| Sun, 27 Nov 2005 05:00:43 +0100 | urbanc | added the version of nominal.thy that contains | changeset | files |
| Sun, 27 Nov 2005 04:59:20 +0100 | urbanc | cleaned up all examples so that they work with the | changeset | files |
| Sun, 27 Nov 2005 03:55:16 +0100 | urbanc | finished cleaning up the parts that collect | changeset | files |
| Sat, 26 Nov 2005 18:41:41 +0100 | berghofe | Corrected treatment of non-recursive abstraction types. | changeset | files |
| Fri, 25 Nov 2005 21:14:34 +0100 | wenzelm | tuned induct proofs; | changeset | files |
| Fri, 25 Nov 2005 20:57:51 +0100 | wenzelm | induct: insert defs in object-logic form; | changeset | files |
| Fri, 25 Nov 2005 19:20:56 +0100 | wenzelm | tuned induct proofs; | changeset | files |