wenzelm [Thu, 12 Jun 2008 22:29:49 +0200] rev 27182
tuned setup;
huffman [Thu, 12 Jun 2008 22:14:07 +0200] rev 27181
remove unnecessary import of Ffun;
add lemma admD2
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;
wenzelm [Thu, 12 Jun 2008 16:41:47 +0200] rev 27173
Facts.dest/export_static: content difference;