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 |
Wed, 13 Jan 1999 15:14:47 +0100 | paulson | tidying of datatype and inductive definitions | changeset | files |
Wed, 13 Jan 1999 12:44:33 +0100 | wenzelm | files scan.ML, source.ML, symbol.ML, pretty.ML moved to Pure/General; | changeset | files |
Wed, 13 Jan 1999 12:16:34 +0100 | nipkow | Refined arithmetic. | changeset | files |
Wed, 13 Jan 1999 12:08:51 +0100 | paulson | congruence rules finally use == instead of = and <-> | changeset | files |