src/FOL/ex/LocaleTest.thy
2005-03-24 ago Further work on interpretation commands. New command `interpret' for
2005-03-10 ago Registrations of global locale interpretations: improved, better naming.
2005-03-09 ago First version of global registration command.