| Sun, 16 Dec 2012 19:13:19 +0100 | bulwahn | merged | changeset | files |
| 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 |
| Sun, 16 Dec 2012 18:02:28 +0100 | wenzelm | tuned property name; | changeset | files |
| Sun, 16 Dec 2012 17:38:16 +0100 | wenzelm | allow to suppress ISABELLE_SYMBOLS for experiments; | changeset | files |
| Sun, 16 Dec 2012 14:19:08 +0100 | blanchet | escape nicknames | changeset | files |