Sat, 08 Apr 2006 22:51:25 +0200 | wenzelm | simplified handling of authentic syntax (cf. early externing in consts.ML); | file | diff | annotate |
Sat, 11 Feb 2006 17:17:51 +0100 | wenzelm | tuned mixfixes, mixfix_conflict; | file | diff | annotate |
Fri, 10 Feb 2006 02:22:39 +0100 | wenzelm | Local syntax depending on theory syntax. | file | diff | annotate |