2007-10-20 wenzelm tuned;
2007-10-20 wenzelm add_inductive: more careful handling of abbrevs -- do not expand prematurely;
2007-10-20 wenzelm fixed proof: neq0_conv;
2007-10-20 chaieb fixed proofs
2007-10-20 chaieb neq0_conv removed from [iff] -- causes problems by simple goals with blast, auto etc...
2007-10-19 wenzelm export_code: proper command;
2007-10-19 wenzelm warn_open: context position;
2007-10-19 wenzelm sorry: proper command;
2007-10-19 wenzelm tuned proofs: avoid implicit prems;
2007-10-19 wenzelm tuned proofs;
2007-10-19 wenzelm internal tuning: class_target, fork_mixfix, declare_const (singleton), abbrev;
2007-10-19 wenzelm tuned interfaces;
Loading...
(0) -10000 -3000 -1000 -300 -100 -12 +12 +100 +300 +1000 +3000 +10000 +30000 tip