Tue, 07 Nov 2006 19:40:56 +0100 | wenzelm | removed obsolete theorem statements (cf. specification.ML); | changeset | files |
Tue, 07 Nov 2006 19:40:13 +0100 | wenzelm | tuned specifications; | changeset | files |
Tue, 07 Nov 2006 19:39:54 +0100 | wenzelm | fixed locale fact references; | changeset | files |
Tue, 07 Nov 2006 19:39:53 +0100 | wenzelm | removed obsolete print_state_hook; | changeset | files |