isabelle: Changelog

paulson [Thu, 07 Apr 2005 13:29:41 +0200] rev 15676

new meta-level rules

nipkow [Thu, 07 Apr 2005 10:22:55 +0200] rev 15675

*** empty log message ***

wenzelm [Thu, 07 Apr 2005 09:51:17 +0200] rev 15674

reverted renaming of Some/None in comments and strings;

wenzelm [Thu, 07 Apr 2005 09:28:16 +0200] rev 15673

added term_8;

wenzelm [Thu, 07 Apr 2005 09:28:03 +0200] rev 15672

added get_axiom_i, invoke_oracle_i;

wenzelm [Thu, 07 Apr 2005 09:27:50 +0200] rev 15671

Drule.add_used;

wenzelm [Thu, 07 Apr 2005 09:27:33 +0200] rev 15670

invalidated former constructors None/OPTION to prevent accidental use as match-all patterns!

wenzelm [Thu, 07 Apr 2005 09:27:20 +0200] rev 15669

added add_used; include tpairs;

wenzelm [Thu, 07 Apr 2005 09:27:09 +0200] rev 15668

improved exn_message;

wenzelm [Thu, 07 Apr 2005 09:26:55 +0200] rev 15667

Thm.invoke_oracle_i;

isabelle