Tue, 18 Nov 2008 18:25:59 +0100 | wenzelm | force_proofs after cumulative use_thys; | changeset | files |
Tue, 18 Nov 2008 18:25:55 +0100 | wenzelm | signed_string_of_int for priorities; | changeset | files |
Tue, 18 Nov 2008 18:25:52 +0100 | wenzelm | added force_proofs; | changeset | files |