Thu, 06 May 2004 14:14:18 +0200 |
wenzelm |
tuned document;
|
file |
diff |
annotate
|
Fri, 23 Apr 2004 21:46:04 +0200 |
wenzelm |
improved notation;
|
file |
diff |
annotate
|
Thu, 22 Apr 2004 11:01:34 +0200 |
wenzelm |
improved notation;
|
file |
diff |
annotate
|
Thu, 08 Apr 2004 12:45:22 +0200 |
paulson |
some (much longer) structured proofs
|
file |
diff |
annotate
|
Thu, 06 Nov 2003 14:18:05 +0100 |
ballarin |
Isar/Locales: <loc>.intro and <loc>.axioms no longer intro? and elim? by
|
file |
diff |
annotate
|
Thu, 01 May 2003 10:29:44 +0200 |
paulson |
moving Bij.thy from GroupTheory to Algebra
|
file |
diff |
annotate
|
Wed, 30 Apr 2003 18:32:06 +0200 |
ballarin |
HOL-Algebra: New polynomial development added.
|
file |
diff |
annotate
|
Wed, 30 Apr 2003 10:01:35 +0200 |
ballarin |
Greatly extended CRing. Added Module.
|
file |
diff |
annotate
|
Tue, 01 Apr 2003 16:08:34 +0200 |
ballarin |
Fixed Coset.thy (proved theorem factorgroup_is_group).
|
file |
diff |
annotate
|
Tue, 18 Mar 2003 18:07:06 +0100 |
paulson |
moved Exponent, Coset, Sylow from GroupTheory to Algebra, converting them
|
file |
diff |
annotate
|