2012-10-20 | haftmann | moved quite generic material from theory Enum to more appropriate places | changeset | files |
2012-10-20 | bulwahn | adding another test case for the set_comprehension_simproc to the theory in HOL/ex | changeset | files |
2012-10-20 | bulwahn | improving tactic in setcomprehension_simproc | changeset | files |
Loading... |