wenzelm [Fri, 17 Jul 2009 21:33:00 +0200] rev 32042
major cleanup, simplification, modernization;
wenzelm [Fri, 17 Jul 2009 21:32:59 +0200] rev 32041
eq_type: special case for empty environment;
wenzelm [Fri, 17 Jul 2009 21:32:58 +0200] rev 32040
compare types directly -- no need to invoke Type.eq_type with empty environment;
avigad [Fri, 17 Jul 2009 13:12:18 -0400] rev 32039
Changed fact_Suc_nat back to fact_Suc
berghofe [Fri, 17 Jul 2009 10:07:15 +0200] rev 32038
merged
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