Wed, 19 Nov 2008 08:58:57 +0100 | haftmann | explicit inhabitance proof | changeset | files |
Tue, 18 Nov 2008 22:25:36 +0100 | wenzelm | fulfill_proof/thm_proof: commuted lazyness; | changeset | files |
Tue, 18 Nov 2008 22:25:30 +0100 | wenzelm | fulfill_proof/thm_proof: commuted lazyness; | changeset | files |
Tue, 18 Nov 2008 21:17:14 +0100 | krauss | removed lemmas called lemma1 and lemma2 | changeset | files |
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 |