| Wed, 12 Nov 1997 16:22:10 +0100 | wenzelm | tuned warning msg; | changeset | files |
| Wed, 12 Nov 1997 16:21:57 +0100 | wenzelm | major cleanup; | changeset | files |
| Wed, 12 Nov 1997 16:21:26 +0100 | wenzelm | moved 'latex' from library.ML to goals.ML; | changeset | files |
| Wed, 12 Nov 1997 16:21:15 +0100 | wenzelm | tuned prths; | changeset | files |
| Wed, 12 Nov 1997 16:20:49 +0100 | wenzelm | structure BasisLibrary; | changeset | files |
| Wed, 12 Nov 1997 16:20:39 +0100 | wenzelm | added Thy/file.ML, Thy/use.ML; | changeset | files |
| Wed, 12 Nov 1997 12:38:12 +0100 | oheimb | renamed split_prem_tac to split_asm_tac | changeset | files |