isabelle: Changelog

quigley [Thu, 07 Apr 2005 18:20:04 +0200] rev 15679

Integrating the reconstruction files into the building of HOL

quigley [Thu, 07 Apr 2005 17:45:51 +0200] rev 15678

Reconstruction.thy and IsaMakefile updated

nipkow [Thu, 07 Apr 2005 14:07:40 +0200] rev 15677

*** empty log message ***

Thu, 07 Apr 2005 13:29:41 +0200 new meta-level rules

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!

isabelle