Wed, 25 Oct 2000 18:32:02 +0200 | wenzelm | more "xsymbols" syntax; | changeset | files |
Wed, 25 Oct 2000 18:31:21 +0200 | wenzelm | "List prefixes" library theory (replaces old Lex/Prefix); | changeset | files |
Wed, 25 Oct 2000 18:25:41 +0200 | nipkow | *** empty log message *** | changeset | files |
Wed, 25 Oct 2000 18:24:33 +0200 | nipkow | *** empty log message *** | changeset | files |
Wed, 25 Oct 2000 17:44:59 +0200 | paulson | inputs Even.tex | changeset | files |
Wed, 25 Oct 2000 17:44:48 +0200 | paulson | minor tinkering | changeset | files |
Wed, 25 Oct 2000 17:43:34 +0200 | paulson | Even numbers section of Inductive chapter | changeset | files |