| Sat, 31 Oct 1998 12:42:34 +0100 | paulson | locales now implicitly quantify over free variables | file | diff | annotate |
| Fri, 23 Oct 1998 18:48:59 +0200 | paulson | better checking of "defines" in a locale | file | diff | annotate |
| Thu, 22 Oct 1998 20:07:42 +0200 | wenzelm | support current_goals_markers ref variable for print_current_goals; | file | diff | annotate |
| Tue, 04 Aug 1998 18:21:03 +0200 | wenzelm | added locale.ML; | file | diff | annotate |