| Wed, 17 Feb 2010 10:00:22 -0800 | huffman | remove $ from all HOLCF files | file | diff | annotate |
| Tue, 10 Jun 2008 14:32:58 +0200 | haftmann | slightly tuning of some proofs involving case distinction and induction on natural numbers and similar | file | diff | annotate |
| Mon, 17 Mar 2008 18:37:05 +0100 | wenzelm | avoid rebinding of existing facts; | file | diff | annotate |
| Fri, 02 Jun 2006 19:41:37 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 01 Jun 2006 23:53:29 +0200 | huffman | removed legacy ML scripts | file | diff | annotate |
| Tue, 06 Sep 2005 21:51:17 +0200 | wenzelm | converted to Isar theory format; | file | diff | annotate |
| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| Thu, 31 May 2001 20:52:51 +0200 | wenzelm | tuned | file | diff | annotate |
| Thu, 31 May 2001 16:53:00 +0200 | oheimb | added FOCUS including the One-Element Buffer by Manfred Broy | file | diff | annotate |