Wed, 08 Jun 2005 16:11:09 +0200 | ballarin | Fixed "axiom" generation for mixed locales with and without predicates. | file | diff | annotate |
Wed, 24 Nov 2004 11:13:00 +0100 | nipkow | mod because of change in finite set induction | file | diff | annotate |
Fri, 14 May 2004 19:29:22 +0200 | ballarin | Change of theory hierarchy: Group is now based in Lattice. | file | diff | annotate |
Thu, 06 May 2004 14:14:18 +0200 | wenzelm | tuned document; | file | diff | annotate |
Sat, 01 May 2004 22:05:05 +0200 | wenzelm | improved syntax; | 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 04:07:10 +0200 | wenzelm | tuned document; | file | diff | annotate |
Tue, 13 Apr 2004 09:42:40 +0200 | ballarin | Various changes to HOL-Algebra; | file | diff | annotate |