Wed, 25 Mar 2015 13:31:47 +0100 | wenzelm | HOL-SPARK .prv files are subject to system option spark_prv; | changeset | files |
Wed, 25 Mar 2015 11:39:52 +0100 | wenzelm | tuned signature; | changeset | files |
Wed, 25 Mar 2015 10:59:28 +0100 | wenzelm | NEWS; | changeset | files |
Wed, 25 Mar 2015 10:44:57 +0100 | wenzelm | prefer local fixes; | changeset | files |
Wed, 25 Mar 2015 10:41:53 +0100 | wenzelm | proper signature; | changeset | files |
Wed, 25 Mar 2015 00:22:10 +0100 | wenzelm | dummies may depend on goal params as well; | changeset | files |