Thu, 12 Jun 2008 22:12:27 +0200 imports Ffun
huffman [Thu, 12 Jun 2008 22:12:27 +0200] rev 27180
imports Ffun
Thu, 12 Jun 2008 18:54:31 +0200 ResAxioms.cnf_axiom/cnf_rules_pairs: pass explicit theory context;
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;
Thu, 12 Jun 2008 18:54:29 +0200 ResAxioms.cnf_axiom/cnf_rules_pairs: pass explicit theory context;
wenzelm [Thu, 12 Jun 2008 18:54:29 +0200] rev 27178
ResAxioms.cnf_axiom/cnf_rules_pairs: pass explicit theory context;
Thu, 12 Jun 2008 16:42:00 +0200 sane versions of (qualified_)thms_of_thy;
wenzelm [Thu, 12 Jun 2008 16:42:00 +0200] rev 27177
sane versions of (qualified_)thms_of_thy;
Thu, 12 Jun 2008 16:41:58 +0200 Facts.dest/export_static: content difference;
wenzelm [Thu, 12 Jun 2008 16:41:58 +0200] rev 27176
Facts.dest/export_static: content difference; tuned;
Thu, 12 Jun 2008 16:41:57 +0200 dest/export_static: content difference;
wenzelm [Thu, 12 Jun 2008 16:41:57 +0200] rev 27175
dest/export_static: content difference; tuned comments;
Thu, 12 Jun 2008 16:41:54 +0200 declare_skofuns/skolem: canonical argument order;
wenzelm [Thu, 12 Jun 2008 16:41:54 +0200] rev 27174
declare_skofuns/skolem: canonical argument order; minor tuning;
Thu, 12 Jun 2008 16:41:47 +0200 Facts.dest/export_static: content difference;
wenzelm [Thu, 12 Jun 2008 16:41:47 +0200] rev 27173
Facts.dest/export_static: content difference;
Thu, 12 Jun 2008 15:49:25 +0200 correction
nipkow [Thu, 12 Jun 2008 15:49:25 +0200] rev 27172
correction
Thu, 12 Jun 2008 14:46:15 +0200 tuned
nipkow [Thu, 12 Jun 2008 14:46:15 +0200] rev 27171
tuned
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip