| Tue, 27 Oct 2009 16:52:06 +0100 | blanchet | renamed Nitpick option "coalesce_type_vars" to "merge_type_vars" (shorter) and cleaned up old hacks that are no longer necessary | changeset | files |
| Tue, 10 Nov 2009 18:29:07 +0100 | wenzelm | eliminated some old uses of cumulative prems (!) in proof methods; | changeset | files |
| Tue, 10 Nov 2009 18:11:23 +0100 | wenzelm | eliminated some unused/obsolete Args.bang_facts; | changeset | files |
| Tue, 10 Nov 2009 16:04:57 +0100 | wenzelm | modernized structure Theory_Target; | changeset | files |
| Tue, 10 Nov 2009 15:33:35 +0100 | wenzelm | removed unused Quickcheck_RecFun_Simps; | changeset | files |
| Tue, 10 Nov 2009 15:32:43 +0100 | wenzelm | define simprocs: do not apply target_morphism prematurely, this is already done in LocalTheory.declaration; | changeset | files |
| Tue, 10 Nov 2009 14:38:39 +0100 | wenzelm | bang_facts: legacy feature; | changeset | files |