2007-11-28 | paulson | comment | changeset | files |
2007-11-28 | haftmann | (reverted to unnamed infix) | changeset | files |
2007-11-28 | haftmann | simplified interpretations | changeset | files |
2007-11-28 | haftmann | deleted looping code theorem | changeset | files |
2007-11-28 | berghofe | to_set now applies collect_mem_simproc as well. | changeset | files |
2007-11-28 | haftmann | naming policy for instances | changeset | files |
2007-11-28 | haftmann | tuned interfaces of class module | changeset | files |
2007-11-28 | haftmann | dropped dead code | changeset | files |
2007-11-28 | haftmann | dropped legacy unnamed infix | changeset | files |
2007-11-28 | haftmann | dropped implicit assumption proof | changeset | files |
2007-11-28 | haftmann | dropped legacy ml bindings | changeset | files |
2007-11-27 | wenzelm | tuned titles; | changeset | files |
2007-11-27 | wenzelm | moved titles; | changeset | files |
2007-11-27 | wenzelm | tuned title; | changeset | files |
2007-11-27 | wenzelm | tuned titles; | changeset | files |
Loading... |