| 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 |