| Sat, 21 Feb 2009 20:52:30 +0100 |
nipkow |
Removed subsumed lemmas
|
file |
diff |
annotate
|
| Wed, 28 Jan 2009 16:29:16 +0100 |
nipkow |
Replaced group_ and ring_simps by algebra_simps;
|
file |
diff |
annotate
|
| Thu, 16 Oct 2008 22:44:24 +0200 |
wenzelm |
explicit SORT_CONSTRAINT for proofs depending implicitly on certain sorts;
|
file |
diff |
annotate
|
| Mon, 21 Jul 2008 13:36:59 +0200 |
chaieb |
Tuned and simplified proofs
|
file |
diff |
annotate
|
| Mon, 14 Jul 2008 16:13:42 +0200 |
chaieb |
Fixed proofs.
|
file |
diff |
annotate
|
| Mon, 14 Jul 2008 11:04:42 +0200 |
haftmann |
unified curried gcd, lcm, zgcd, zlcm
|
file |
diff |
annotate
|
| Thu, 26 Jun 2008 10:07:01 +0200 |
haftmann |
established Plain theory and image
|
file |
diff |
annotate
|
| Wed, 02 Apr 2008 15:58:28 +0200 |
haftmann |
dropped wrong code lemma
|
file |
diff |
annotate
|
| Fri, 12 Oct 2007 15:21:12 +0200 |
wenzelm |
replaced syntax/translations by abbreviation;
|
file |
diff |
annotate
|
| Thu, 09 Aug 2007 15:52:49 +0200 |
haftmann |
proper implementation of rational numbers
|
file |
diff |
annotate
|