berghofe [Wed, 15 Jul 2009 15:09:56 +0200] rev 32037
merged
avigad [Tue, 14 Jul 2009 21:19:34 -0400] rev 32036
commit merge
avigad [Tue, 14 Jul 2009 20:58:53 -0400] rev 32035
Repairs regarding new Fact.thy.
berghofe [Tue, 14 Jul 2009 17:20:02 +0200] rev 32034
merged
berghofe [Tue, 14 Jul 2009 17:18:51 +0200] rev 32033
merged
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);