| Mon, 25 Mar 2013 20:00:27 +0100 |
ballarin |
Discontinued theories src/HOL/Algebra/abstract and .../poly.
|
file |
diff |
annotate
|
| Mon, 25 Mar 2013 19:53:44 +0100 |
ballarin |
Remove obsolete URLs in documentation of HOL-Algebra.
|
file |
diff |
annotate
|
| Tue, 12 Mar 2013 22:22:05 +0100 |
wenzelm |
removed odd cvs artifacts;
|
file |
diff |
annotate
|
| Tue, 15 Jun 2010 16:20:23 +0200 |
blanchet |
added missing Umlaut
|
file |
diff |
annotate
|
| Sun, 21 Mar 2010 17:12:31 +0100 |
wenzelm |
standard headers;
|
file |
diff |
annotate
|
| Mon, 07 Mar 2005 19:17:07 +0100 |
webertj |
HTML 4.01 Transitional conformity
|
file |
diff |
annotate
|
| Sun, 14 Nov 2004 01:40:27 +0100 |
webertj |
DOCTYPE declaration added
|
file |
diff |
annotate
|
| Wed, 07 May 2003 22:07:33 +0200 |
ballarin |
Small changes for release Isabelle 2003.
|
file |
diff |
annotate
|
| Fri, 02 May 2003 20:02:50 +0200 |
ballarin |
HOL-Algebra complete for release Isabelle2003 (modulo section headers).
|
file |
diff |
annotate
|
| Thu, 01 May 2003 11:54:18 +0200 |
paulson |
new proofs about direct products, etc.
|
file |
diff |
annotate
|
| Fri, 05 Nov 1999 11:14:26 +0100 |
paulson |
Algebra and Polynomial theories, by Clemens Ballarin
|
file |
diff |
annotate
|