| 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 |