Thu, 15 Nov 2001 16:12:49 +0100 |
paulson |
new theories from Jacques Fleuriot
|
file |
diff |
annotate
|
Sat, 06 Oct 2001 00:02:46 +0200 |
wenzelm |
* sane numerals (stage 2): plain "num" syntax (removed "#");
|
file |
diff |
annotate
|
Fri, 05 Oct 2001 21:52:39 +0200 |
wenzelm |
sane numerals (stage 1): added generic 1, removed 1' and 2 on nat,
|
file |
diff |
annotate
|
Wed, 29 Aug 2001 21:17:24 +0200 |
wenzelm |
avoid ML bindings;
|
file |
diff |
annotate
|
Tue, 07 Aug 2001 16:36:52 +0200 |
paulson |
Tweaks for 1 -> 1'
|
file |
diff |
annotate
|
Tue, 03 Jul 2001 15:28:24 +0200 |
paulson |
Locale-based group theory proofs
|
file |
diff |
annotate
|
Tue, 26 Jun 2001 17:07:02 +0200 |
paulson |
gave Greatest_le its proper name
|
file |
diff |
annotate
|
Sun, 10 Jun 2001 08:03:35 +0200 |
paulson |
new GroupTheory example, e.g. the Sylow theorem (preliminary version)
|
file |
diff |
annotate
|