| Sun, 16 Dec 2012 18:12:18 +0100 | bulwahn | reverting d466ebc27810 as the previous changeset should allow to run Find_Unused_Assms_Examples again | changeset | files |
| Sun, 16 Dec 2012 18:07:29 +0100 | bulwahn | providing a custom code equation for vimage to overwrite the vimage definition that would be rewritten by set_comprehension_pointfree simproc in the code preprocessor to an non-terminating code equation | changeset | files |
| Sun, 16 Dec 2012 18:44:27 +0100 | wenzelm | tuned signature: use thy_load to adapt to prover/editor specific view on sources; | changeset | files |