| Fri, 07 Dec 2007 15:07:59 +0100 | haftmann | instantiation target rather than legacy instance | changeset | files |
| Fri, 07 Dec 2007 15:07:56 +0100 | haftmann | proper treatment of code theorems for primrec | changeset | files |
| Fri, 07 Dec 2007 15:07:54 +0100 | haftmann | dropped Instance.instantiate | changeset | files |
| Fri, 07 Dec 2007 10:59:03 +0100 | krauss | Adding "ex/Induction_Scheme.thy" to tests | changeset | files |
| Fri, 07 Dec 2007 09:42:20 +0100 | krauss | experimental version of automated induction scheme generator (cf. HOL/ex/Induction_Scheme.thy) | changeset | files |
| Fri, 07 Dec 2007 08:38:50 +0100 | haftmann | tuned further | changeset | files |
| Thu, 06 Dec 2007 22:07:11 +0100 | wenzelm | renamed ML_PID to PID; | changeset | files |