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