| Sat, 08 Apr 2006 15:24:21 +0200 | kleing | converted Müller to Mueller to make smlnj 110.58 work | file | diff | annotate |
| Fri, 21 Oct 2005 18:17:00 +0200 | wenzelm | avoid OldGoals shortcuts; | file | diff | annotate |
| Sat, 03 Sep 2005 16:50:22 +0200 | wenzelm | converted to Isar theory format; | file | diff | annotate |
| Fri, 01 Jul 2005 14:17:32 +0200 | berghofe | Simplified proof (thanks to strengthened ball_cong). | file | diff | annotate |
| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| Thu, 15 Nov 2001 23:25:46 +0100 | wenzelm | GPLed; | file | diff | annotate |
| Wed, 19 Apr 2000 11:09:59 +0200 | paulson | removal of less_SucI, le_SucI from default simpset | file | diff | annotate |
| Fri, 29 Jan 1999 16:23:56 +0100 | paulson | tidied | file | diff | annotate |
| Wed, 02 Dec 1998 15:55:39 +0100 | mueller | Memory storage case study from PhD p.240; | file | diff | annotate |