| Sat, 20 Oct 2012 09:12:16 +0200 | haftmann | moved quite generic material from theory Enum to more appropriate places | changeset | files |
| Sat, 20 Oct 2012 09:09:37 +0200 | bulwahn | adding another test case for the set_comprehension_simproc to the theory in HOL/ex | changeset | files |
| Sat, 20 Oct 2012 09:09:35 +0200 | bulwahn | improving tactic in setcomprehension_simproc | changeset | files |