src/HOL/Finite_Set.thy
Tue, 10 Jul 2007 17:30:45 +0200 haftmann moved some finite lemmas here
Sat, 23 Jun 2007 19:33:22 +0200 nipkow tuned and renamed group_eq_simps and ring_eq_simps
Sun, 17 Jun 2007 18:47:03 +0200 nipkow tuned laws for cancellation in divisions for fields.
Fri, 15 Jun 2007 15:10:32 +0200 nipkow made divide_self a simp rule
Thu, 14 Jun 2007 18:33:31 +0200 wenzelm tuned proofs: avoid implicit prems;
Wed, 06 Jun 2007 17:01:33 +0200 huffman generalize class constraints on some lemmas
Mon, 04 Jun 2007 15:43:30 +0200 haftmann tuned comments
less more (0) -100 -30 -10 -7 tip