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.
2004-12-13 ago added find_rewrites
2004-08-18 ago import -> imports
2004-08-16 ago Added "import" and "begin"
2004-06-13 ago updated;
2004-04-23 ago updated -- too late for Isabelle2004!
2004-04-02 ago Experimental command for instantiation of locales in proof contexts:
2003-07-11 ago Added keywords for random testing.
2003-02-03 ago Added "print_intros" command.
2002-07-21 ago Added program extraction keywords.
2002-07-16 ago updated;
2002-02-26 ago updated;
2002-02-25 ago updated;
2002-02-24 ago 'using' command;
2001-12-05 ago updated;
2001-11-15 ago updated;
2001-11-14 ago updated;
2001-11-14 ago updated;
2001-11-13 ago ZF specific keywords;