Fri, 12 Oct 2012 18:58:20 +0200 |
wenzelm |
discontinued obsolete typedef (open) syntax;
|
file |
diff |
annotate
|
Sun, 01 Apr 2012 21:45:25 +0200 |
wenzelm |
more precise type annotation (cf. 6523a21076a8);
|
file |
diff |
annotate
|
Tue, 21 Feb 2012 16:28:18 +0100 |
wenzelm |
misc tuning;
|
file |
diff |
annotate
|
Wed, 30 Nov 2011 16:27:10 +0100 |
wenzelm |
prefer typedef without extra definition and alternative name;
|
file |
diff |
annotate
|
Tue, 30 Nov 2010 17:19:11 +0100 |
haftmann |
adaptions to changes in Equiv_Relation.thy
|
file |
diff |
annotate
|
Mon, 29 Nov 2010 13:44:54 +0100 |
haftmann |
equivI has replaced equiv.intro
|
file |
diff |
annotate
|
Fri, 01 Oct 2010 16:05:25 +0200 |
haftmann |
constant `contents` renamed to `the_elem`
|
file |
diff |
annotate
|
Mon, 12 Jul 2010 08:58:13 +0200 |
haftmann |
dropped superfluous [code del]s
|
file |
diff |
annotate
|
Tue, 27 Apr 2010 09:49:36 +0200 |
haftmann |
tuned class linordered_field_inverse_zero
|
file |
diff |
annotate
|
Mon, 26 Apr 2010 15:37:50 +0200 |
haftmann |
use new classes (linordered_)field_inverse_zero
|
file |
diff |
annotate
|
Mon, 26 Apr 2010 11:34:15 +0200 |
haftmann |
dropped group_simps, ring_simps, field_eq_simps; classes division_ring_inverse_zero, field_inverse_zero, linordered_field_inverse_zero
|
file |
diff |
annotate
|
Sat, 24 Apr 2010 09:34:36 -0700 |
huffman |
Library/Fraction_Field.thy: ordering relations for fractions
|
file |
diff |
annotate
|
Fri, 23 Apr 2010 16:45:53 +0200 |
haftmann |
separated instantiation of division_by_zero
|
file |
diff |
annotate
|
Wed, 24 Feb 2010 14:34:40 +0100 |
haftmann |
renamed theory Rational to Rat
|
file |
diff |
annotate
|
Tue, 14 Jul 2009 10:54:04 +0200 |
haftmann |
code attributes use common underscore convention
|
file |
diff |
annotate
|
Tue, 23 Jun 2009 10:22:11 +0200 |
chaieb |
Added Library/Fraction_Field.thy: The fraction field of any integral
|
file |
diff |
annotate
|