Tue, 20 Mar 2007 08:27:15 +0100 | haftmann | explizit "type" superclass | file | diff | annotate |
Fri, 02 Mar 2007 15:43:21 +0100 | haftmann | now using "class" | file | diff | annotate |
Fri, 17 Nov 2006 02:20:03 +0100 | wenzelm | more robust syntax for definition/abbreviation/notation; | file | diff | annotate |
Thu, 09 Nov 2006 11:58:49 +0100 | wenzelm | tuned; | file | diff | annotate |
Wed, 08 Nov 2006 23:11:13 +0100 | wenzelm | moved theories Parity, GCD, Binomial to Library; | file | diff | annotate |