isabelle: Changelog

huffman [Thu, 12 Jun 2008 22:12:27 +0200] rev 27180

imports Ffun

wenzelm [Thu, 12 Jun 2008 18:54:31 +0200] rev 27179

ResAxioms.cnf_axiom/cnf_rules_pairs: pass explicit theory context; eliminated obscure theory merge/transfer -- use explicit theory context instead;

wenzelm [Thu, 12 Jun 2008 18:54:29 +0200] rev 27178

ResAxioms.cnf_axiom/cnf_rules_pairs: pass explicit theory context;

wenzelm [Thu, 12 Jun 2008 16:42:00 +0200] rev 27177

sane versions of (qualified_)thms_of_thy;

wenzelm [Thu, 12 Jun 2008 16:41:58 +0200] rev 27176

Facts.dest/export_static: content difference; tuned;

wenzelm [Thu, 12 Jun 2008 16:41:57 +0200] rev 27175

dest/export_static: content difference; tuned comments;

wenzelm [Thu, 12 Jun 2008 16:41:54 +0200] rev 27174

declare_skofuns/skolem: canonical argument order; minor tuning;

isabelle