etc/isar-keywords-ZF.el
2005-11-22 haftmann 2005-11-22 added code generator syntax
2005-10-15 wenzelm 2005-10-15 updated;
2005-09-21 berghofe 2005-09-21 Added new "value" command.
2005-09-01 wenzelm 2005-09-01 updated;
2005-08-25 berghofe 2005-08-25 Adapted to new code generator syntax.
2005-06-17 wenzelm 2005-06-17 updated;
2005-06-01 ballarin 2005-06-01 Locales: new element constrains, parameter renaming with syntax, experimental command instantiate withdrawn.
2005-05-22 wenzelm 2005-05-22 updated;
2005-04-17 wenzelm 2005-04-17 updated;
2005-03-24 ballarin 2005-03-24 Further work on interpretation commands. New command `interpret' for interpretation in proof contexts.
2005-03-10 ballarin 2005-03-10 Registrations of global locale interpretations: improved, better naming.
2005-03-09 ballarin 2005-03-09 First version of global registration command.
2004-12-13 nipkow 2004-12-13 added find_rewrites
2004-08-18 nipkow 2004-08-18 import -> imports
2004-08-16 nipkow 2004-08-16 Added "import" and "begin"
2004-06-13 wenzelm 2004-06-13 updated;
2004-04-23 wenzelm 2004-04-23 updated -- too late for Isabelle2004!
2004-04-02 ballarin 2004-04-02 Experimental command for instantiation of locales in proof contexts: instantiate <label>: <loc>
2003-07-11 berghofe 2003-07-11 Added keywords for random testing.
2003-02-03 berghofe 2003-02-03 Added "print_intros" command.
2002-07-21 berghofe 2002-07-21 Added program extraction keywords.
2002-07-16 wenzelm 2002-07-16 updated;
2002-02-26 wenzelm 2002-02-26 updated;
2002-02-25 wenzelm 2002-02-25 updated;
2002-02-24 wenzelm 2002-02-24 'using' command;
2001-12-05 wenzelm 2001-12-05 updated;
2001-11-15 wenzelm 2001-11-15 updated;
2001-11-14 wenzelm 2001-11-14 updated;
2001-11-14 wenzelm 2001-11-14 updated;
2001-11-13 wenzelm 2001-11-13 ZF specific keywords;