Mon, 23 Mar 2015 19:05:14 +0100 | haftmann | explicit commutative additive inverse operation; | changeset | files |
Mon, 23 Mar 2015 19:05:14 +0100 | haftmann | modernized | changeset | files |
Wed, 25 Mar 2015 17:51:34 +0100 | blanchet | more multiset theorems | changeset | files |
Wed, 25 Mar 2015 14:39:40 +0100 | wenzelm | semantic completion for @{system_option}; | changeset | files |
Wed, 25 Mar 2015 13:45:52 +0100 | wenzelm | clarified position; | changeset | files |
Wed, 25 Mar 2015 13:31:47 +0100 | wenzelm | HOL-SPARK .prv files are subject to system option spark_prv; | changeset | files |