| Mon, 10 Feb 2014 21:00:56 +0100 | wenzelm | prefer vacuous definitional type classes over axiomatic ones; | changeset | files |
| Mon, 10 Feb 2014 17:23:13 +0100 | wenzelm | more explicit axiomatization; | changeset | files |
| Mon, 10 Feb 2014 17:20:11 +0100 | wenzelm | prefer vacuous definitional type classes over axiomatic ones; | changeset | files |
| Mon, 10 Feb 2014 14:33:47 +0100 | wenzelm | comments; | changeset | files |
| Mon, 10 Feb 2014 13:47:31 +0100 | wenzelm | removed rotten code; | changeset | files |
| Mon, 10 Feb 2014 13:04:08 +0100 | wenzelm | more elementary put_simpset: exchange the simplifier configuration outright, which is particularly relevant concerning cumulative depth, e.g. for Product_Type.split_beta in the subsequent example: | changeset | files |