| Fri, 03 Sep 2010 11:21:58 +0200 | wenzelm | turned show_consts into proper configuration option; | changeset | files |
| Fri, 03 Sep 2010 10:58:11 +0200 | wenzelm | prefer regular Proof.context over background theory; | changeset | files |
| Thu, 02 Sep 2010 17:12:16 +0200 | wenzelm | just one refute.ML; | changeset | files |