| Mon, 03 Nov 1997 21:15:08 +0100 | wenzelm | adapted to new datatypes thy info; | changeset | files |
| Mon, 03 Nov 1997 21:13:24 +0100 | wenzelm | tuned; | changeset | files |
| 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 |
| Mon, 03 Nov 1997 17:56:39 +0100 | wenzelm | added distinct_fst_string; | changeset | files |
| Mon, 03 Nov 1997 17:55:55 +0100 | wenzelm | tuned: distinct_fst_string; | changeset | files |
| Mon, 03 Nov 1997 14:37:35 +0100 | wenzelm | isatool fixclasimp; | changeset | files |
| Mon, 03 Nov 1997 14:09:16 +0100 | wenzelm | export const_decls parser; | changeset | files |
| Mon, 03 Nov 1997 14:06:27 +0100 | wenzelm | isatool fixclasimp; | changeset | files |
| Mon, 03 Nov 1997 12:36:48 +0100 | wenzelm | CLASET'; | changeset | files |
| Mon, 03 Nov 1997 12:28:45 +0100 | wenzelm | moved cladata.ML, simpdata.ML to ROOT.ML; | changeset | files |
| Mon, 03 Nov 1997 12:28:14 +0100 | wenzelm | adapted to new implicit claset; | changeset | files |
| Mon, 03 Nov 1997 12:28:01 +0100 | wenzelm | adapted to new implicit simpset; | changeset | files |
| Mon, 03 Nov 1997 12:26:58 +0100 | wenzelm | added claset thy_data; | changeset | files |
| Mon, 03 Nov 1997 12:26:45 +0100 | wenzelm | added simpset thy_data; | changeset | files |
| Mon, 03 Nov 1997 12:24:13 +0100 | wenzelm | isatool fixclasimp; | changeset | files |
| Mon, 03 Nov 1997 12:22:43 +0100 | wenzelm | isatool fixclasimp; | changeset | files |
| Mon, 03 Nov 1997 12:13:18 +0100 | wenzelm | isatool fixclasimp; | changeset | files |
| Mon, 03 Nov 1997 12:12:10 +0100 | wenzelm | added thy_data; | changeset | files |
| Mon, 03 Nov 1997 12:11:34 +0100 | wenzelm | use "hologic.ML"; use "cladata.ML"; use "simpdata.ML"; moved to ROOT.ML; | changeset | files |
| Mon, 03 Nov 1997 12:09:37 +0100 | wenzelm | adapted to new implicit simpset; | changeset | files |
| Mon, 03 Nov 1997 12:09:20 +0100 | wenzelm | adapted to new implicit claset; | changeset | files |
| Mon, 03 Nov 1997 12:07:13 +0100 | wenzelm | fixed thy dependencies; | changeset | files |