src/Pure/locale.ML
1998-10-31 paulson 1998-10-31 locales now implicitly quantify over free variables
1998-10-23 paulson 1998-10-23 better checking of "defines" in a locale
1998-10-22 wenzelm 1998-10-22 support current_goals_markers ref variable for print_current_goals;
1998-08-04 wenzelm 1998-08-04 added locale.ML;