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;
nipkow [Thu, 12 Jun 2008 15:49:25 +0200] rev 27172
correction
nipkow [Thu, 12 Jun 2008 14:46:15 +0200] rev 27171
tuned
nipkow [Thu, 12 Jun 2008 14:33:28 +0200] rev 27170
Removed hide swap