FSet.thy
Sat, 24 Oct 2009 17:29:27 +0200 Cezary Kaliszyk Finally lifted induction, with some manually added simplification lemmas.
Sat, 24 Oct 2009 16:15:33 +0200 cek Merge
less more (0) -10 -2 tip