Wed, 13 Jan 1999 16:30:53 +0100 | paulson | removal of FOL and ZF | changeset | files |
Wed, 13 Jan 1999 16:29:50 +0100 | paulson | minor updates on inductive definitions and datatypes | changeset | files |
Wed, 13 Jan 1999 15:18:02 +0100 | wenzelm | fixed titles; | changeset | files |