etc/isar-keywords-ZF.el
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;