src/Pure/locale.ML
1999-04-30 wenzelm 1999-04-30 theory data: copy;
1999-02-09 paulson 1999-02-09 tidied; better error messages
1999-02-03 wenzelm 1999-02-03 added thm, thms, Open_locale, Close_locale, Print_scope;
1998-12-11 paulson 1998-12-11 the + facility for locales, by Florian
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;