Sat, 29 Jan 2011 11:41:17 +0000 Myhill.thy and Myhill_1.thy changed.
zhang [Sat, 29 Jan 2011 11:41:17 +0000] rev 48
Myhill.thy and Myhill_1.thy changed.
Fri, 28 Jan 2011 19:17:40 +0000 slightly tuned the main lemma and the finiteness proofs
urbanc [Fri, 28 Jan 2011 19:17:40 +0000] rev 47
slightly tuned the main lemma and the finiteness proofs
(0) -30 -10 -2 +2 +10 +30 +100 +300 tip