| 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 |