Mon, 03 Nov 1997 21:12:40 +0100 | wenzelm | datatypes; | changeset | files |
Mon, 03 Nov 1997 21:12:21 +0100 | wenzelm | nat datatype_info moved to Nat.thy; | changeset | files |
Mon, 03 Nov 1997 21:04:51 +0100 | wenzelm | added MLtext section; | changeset | files |