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