Sat, 12 Dec 2009 04:48:43 +0100 Proof of finite_set_storng_cases_raw.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Sat, 12 Dec 2009 04:48:43 +0100] rev 727
Proof of finite_set_storng_cases_raw.
Sat, 12 Dec 2009 04:25:47 +0100 A bracket was missing; with it proved the 'definitely false' lemma.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Sat, 12 Dec 2009 04:25:47 +0100] rev 726
A bracket was missing; with it proved the 'definitely false' lemma.
Sat, 12 Dec 2009 01:44:56 +0100 renamed quotient.ML to quotient_typ.ML
Christian Urban <urbanc@in.tum.de> [Sat, 12 Dec 2009 01:44:56 +0100] rev 725
renamed quotient.ML to quotient_typ.ML
Fri, 11 Dec 2009 19:22:30 +0100 merged
Christian Urban <urbanc@in.tum.de> [Fri, 11 Dec 2009 19:22:30 +0100] rev 724
merged
(0) -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 tip