isabelle: File revisions

src/HOL/Semiring_Normalization.thy

Sun, 25 Mar 2012 20:15:39 +0200	huffman	merged fork with new numeral representation (see NEWS)	file \| diff \| annotate
Fri, 23 Jul 2010 10:25:00 +0200	haftmann	proper subclass instead of sublocale	file \| diff \| annotate
Wed, 12 May 2010 15:27:15 +0200	haftmann	tuned proofs and fact and class names	file \| diff \| annotate
Wed, 12 May 2010 13:51:22 +0200	haftmann	tuned fact collection names and some proofs	file \| diff \| annotate
Wed, 12 May 2010 12:31:52 +0200	haftmann	grouped local statements	file \| diff \| annotate
Tue, 11 May 2010 19:21:39 +0200	hoelzl	Add rules directly to the corresponding class locales instead.	file \| diff \| annotate
Sat, 08 May 2010 18:52:38 +0200	haftmann	moved normalization proof tool infrastructure to canonical algebraic classes	file \| diff \| annotate
Fri, 07 May 2010 16:12:26 +0200	haftmann	renamed Normalizer to the more specific Semiring_Normalizer	file \| diff \| annotate
Fri, 07 May 2010 15:05:52 +0200	haftmann	split of semiring normalization from Groebner theory; moved field_comp_conv to Numeral_Simproces	file \| diff \| annotate \| base

isabelle