| 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 |
| Thu, 06 Dec 2007 19:58:21 +0100 | nipkow | R&F: added sgn lemma | changeset | files |
| Thu, 06 Dec 2007 17:05:44 +0100 | haftmann | temporary code generator work arounds | changeset | files |
| Thu, 06 Dec 2007 16:56:00 +0100 | haftmann | fixed slip | changeset | files |
| Thu, 06 Dec 2007 16:38:42 +0100 | haftmann | -authentic primrec | changeset | files |
| Thu, 06 Dec 2007 16:36:21 +0100 | haftmann | dropped legacy bindings | changeset | files |
| Thu, 06 Dec 2007 16:36:19 +0100 | haftmann | authentic primrec | changeset | files |
| Thu, 06 Dec 2007 15:10:12 +0100 | haftmann | dropped void space | changeset | files |
| Thu, 06 Dec 2007 15:10:09 +0100 | haftmann | added new primrec package | changeset | files |