| Thu, 03 Mar 2005 12:43:01 +0100 | skalberg | Move towards standard functions. | file | diff | annotate |
| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| Thu, 29 Apr 2004 06:01:20 +0200 | wenzelm | HOLCF: discontinued special version of 'constdefs'; | file | diff | annotate |
| Tue, 12 Feb 2002 20:28:27 +0100 | wenzelm | got rid of explicit marginal comments (now stripped earlier from input); | file | diff | annotate |
| Thu, 03 Jan 2002 17:57:04 +0100 | wenzelm | Isar version; | file | diff | annotate |
| Sat, 03 Nov 2001 01:41:26 +0100 | wenzelm | GPLed; | file | diff | annotate |
| Tue, 02 Oct 2001 20:23:33 +0200 | wenzelm | support non-oriented infix; | file | diff | annotate |
| Tue, 20 Oct 1998 16:41:50 +0200 | wenzelm | fixed Syntax module; | file | diff | annotate |
| Wed, 12 Aug 1998 12:17:20 +0200 | slotosch | eliminated fabs,fapp. | file | diff | annotate |
| Tue, 04 Nov 1997 17:12:13 +0100 | wenzelm | HOLCFLogic.ML, contconsts.ML renamed to holcf_logic.ML, cont_consts.ML; | file | diff | annotate |