| Mon, 28 Apr 2008 14:41:32 +0200 | wenzelm | added AND, IS, WHERE symbols; | changeset | files |
| Mon, 28 Apr 2008 14:22:42 +0200 | wenzelm | converted syntax.tex to Thy/syntax.thy; | changeset | files |
| Mon, 28 Apr 2008 13:41:04 +0200 | haftmann | dropping return in imperative monad bindings | changeset | files |
| 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 |