| 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 |