Wed, 10 Feb 2010 14:12:02 +0100 | haftmann | moved lemma field_le_epsilon from Real.thy to Fields.thy | file | diff | annotate |
Wed, 10 Feb 2010 08:49:26 +0100 | haftmann | moved constants inverse and divide to Ring.thy | file | diff | annotate |
Mon, 08 Feb 2010 17:12:38 +0100 | haftmann | renamed OrderedGroup to Groups; split theory Ring_and_Field into Rings Fields | file | diff | annotate | base |