berghofe [Tue, 14 Jul 2009 17:17:37 +0200] rev 32032
Use term antiquotation to refer to constant names in subsection title.
avigad [Fri, 10 Jul 2009 12:55:06 -0400] rev 32031
Repaired uses of factorial.
avigad [Fri, 10 Jul 2009 10:45:49 -0400] rev 32030
Automated merge with http://isabelle.in.tum.de/repos/isabelle
avigad [Fri, 10 Jul 2009 10:45:30 -0400] rev 32029
Moved factorial lemmas from Binomial.thy to Fact.thy and merged.
wenzelm [Thu, 16 Jul 2009 23:12:12 +0200] rev 32028
incr_indexes (from Proofterm);
wenzelm [Thu, 16 Jul 2009 22:58:45 +0200] rev 32027
tuned incr_indexes;
wenzelm [Thu, 16 Jul 2009 22:58:07 +0200] rev 32026
tuned incr_tvar_same;
export tuned version of incr_indexes_same;
wenzelm [Thu, 16 Jul 2009 22:54:39 +0200] rev 32025
added same;
wenzelm [Thu, 16 Jul 2009 22:22:03 +0200] rev 32024
tuned map_proof_terms_option;
eliminated apsome, apsome';
tuned;
wenzelm [Thu, 16 Jul 2009 21:29:02 +0200] rev 32023
export incr_tvar_same;
tuned;