| Tue, 13 Mar 2012 22:49:02 +0100 | wenzelm | tuned proofs; | file | diff | annotate |
| 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 |