Thu, 23 Jul 2009 23:12:21 +0200 | wenzelm | more @{theory} antiquotations; | changeset | files |
Thu, 23 Jul 2009 22:20:37 +0200 | wenzelm | eliminated adhoc ML code; | changeset | files |
Thu, 23 Jul 2009 21:59:56 +0200 | wenzelm | misc modernization: proper method setup instead of adhoc ML proofs; | changeset | files |