| Tue, 06 Oct 2015 17:47:28 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| Tue, 06 Oct 2015 15:14:28 +0200 | wenzelm | fewer aliases for toplevel theorem statements; | file | diff | annotate |
| Sun, 02 Nov 2014 18:21:45 +0100 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
| Thu, 01 Mar 2012 19:34:52 +0100 | haftmann | more fundamental pred-to-set conversions, particularly by means of inductive_set; associated consolidation of some theorem names (c.f. NEWS) | file | diff | annotate |
| Sat, 24 Dec 2011 15:53:09 +0100 | haftmann | tuned proofs | file | diff | annotate |
| Thu, 18 Aug 2011 13:10:24 +0200 | haftmann | avoid case-sensitive name for example theory | file | diff | annotate | base |