| Sun, 16 Dec 2012 21:27:23 +0100 | wenzelm | HOL-Quickcheck_Benchmark works without timeout (NB: isatest imposes global timeout already); | changeset | files |
| Sun, 16 Dec 2012 19:23:04 +0100 | blanchet | tuning | changeset | files |
| 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 |