Mon, 06 Nov 2000 22:56:07 +0100 | wenzelm | improved: 'induct' handle non-atomic goals; | file | diff | annotate |
Fri, 03 Nov 2000 21:35:36 +0100 | wenzelm | proper setup of "parallel"; | file | diff | annotate |
Wed, 25 Oct 2000 18:31:21 +0200 | wenzelm | "List prefixes" library theory (replaces old Lex/Prefix); | file | diff | annotate |