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