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:
2004-01-10 ago 'refute', 'refute_params'.
2003-10-09 ago Added support for making constants final, that is, ensuring that no
2003-07-17 ago Added package for definition by specification.
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-12-03 ago updated;
2001-11-06 ago added "locale", "print_locale", "print_locales";
2001-11-04 ago updated;
2001-11-03 ago updated;
2001-10-13 ago updated;
2001-10-04 ago updated;
2001-09-28 ago updated;
2001-08-31 ago keyword classification tables for Isabelle/Isar Proof General