| Sun, 27 Apr 2008 17:13:01 +0200 | haftmann | corrected ML semantics | changeset | files |
| Sat, 26 Apr 2008 13:20:16 +0200 | wenzelm | added setup for Isar entities; | changeset | files |
| Sat, 26 Apr 2008 08:49:31 +0200 | krauss | fixed recdef, broken by my previous commit | changeset | files |
| Fri, 25 Apr 2008 16:28:06 +0200 | krauss | * New attribute "termination_simp": Simp rules for termination proofs | changeset | files |
| Fri, 25 Apr 2008 15:30:33 +0200 | krauss | Merged theories about wellfoundedness into one: Wellfounded.thy | changeset | files |
| Thu, 24 Apr 2008 16:53:04 +0200 | haftmann | moved 'trivial classes' to foundation of code generator | changeset | files |