| Sat, 23 Jun 2007 19:33:22 +0200 |
nipkow |
tuned and renamed group_eq_simps and ring_eq_simps
|
file |
diff |
annotate
|
| Fri, 20 Apr 2007 11:21:40 +0200 |
haftmann |
switched from recdef to function package; constants add, mul, pow now curried; infix syntax for algebraic operations.
|
file |
diff |
annotate
|
| Fri, 13 Apr 2007 21:26:35 +0200 |
wenzelm |
tuned document (headers, sections, spacing);
|
file |
diff |
annotate
|
| Fri, 17 Nov 2006 02:20:03 +0100 |
wenzelm |
more robust syntax for definition/abbreviation/notation;
|
file |
diff |
annotate
|
| Wed, 08 Nov 2006 23:11:13 +0100 |
wenzelm |
moved theories Parity, GCD, Binomial to Library;
|
file |
diff |
annotate
|
| Fri, 22 Sep 2006 13:04:30 +0200 |
wenzelm |
tuned proofs;
|
file |
diff |
annotate
|
| Tue, 19 Sep 2006 23:15:28 +0200 |
wenzelm |
tuned proofs;
|
file |
diff |
annotate
|
| Sat, 27 May 2006 17:42:02 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 19 Jan 2006 21:22:08 +0100 |
wenzelm |
setup: theory -> theory;
|
file |
diff |
annotate
|
| Tue, 20 Sep 2005 14:10:29 +0200 |
wenzelm |
added Commutative_Ring (from Main HOL);
|
file |
diff |
annotate
|