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
|
Fri, 16 Apr 2004 13:52:43 +0200 |
wenzelm |
simplified ML code for setsubgoaler;
|
file |
diff |
annotate
|
Fri, 16 Apr 2004 04:07:10 +0200 |
wenzelm |
tuned document;
|
file |
diff |
annotate
|
Tue, 13 Apr 2004 13:53:54 +0200 |
ballarin |
Added brief intro text.
|
file |
diff |
annotate
|
Thu, 19 Feb 2004 16:44:21 +0100 |
ballarin |
New lemmas about inversion of restricted functions.
|
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
|
Wed, 30 Apr 2003 18:32:06 +0200 |
ballarin |
HOL-Algebra: New polynomial development added.
|
file |
diff |
annotate
|