| Wed, 28 Dec 2011 20:03:13 +0100 | wenzelm | reverted some changes for set->predicate transition, according to "hg log -u berghofe -r Isabelle2007:Isabelle2008"; | file | diff | annotate |
| Wed, 08 Sep 2010 16:10:49 -0700 | huffman | use rename_tac to make proof script more robust (with separate set type, 'clarify' yields different variable names) | file | diff | annotate |
| Wed, 08 Sep 2010 19:21:46 +0200 | haftmann | modernized primrec | file | diff | annotate |
| Mon, 01 Mar 2010 13:40:23 +0100 | haftmann | replaced a couple of constsdefs by definitions (also some old primrecs by modern ones) | file | diff | annotate |
| Sat, 17 Oct 2009 14:43:18 +0200 | wenzelm | eliminated hard tabulators, guessing at each author's individual tab-width; | file | diff | annotate |
| Mon, 21 Sep 2009 10:58:25 +0200 | haftmann | theory entry point for session Hoare_Parallel (now also with proper underscore) | file | diff | annotate | base |