| Thu, 24 Jul 2014 14:04:55 +0200 | wenzelm | proper scope of comments; | changeset | files |
| Thu, 24 Jul 2014 13:48:00 +0200 | wenzelm | make SML/NJ happy; | changeset | files |
| Thu, 24 Jul 2014 13:01:49 +0200 | kuncar | prevent beta-contraction in proving extra assumptions for abs_eq | changeset | files |
| Thu, 24 Jul 2014 11:54:15 +0200 | wenzelm | more robust notation BNF_Def.convol, which is private to main HOL, but may cause syntax ambiguities nonetheless (e.g. List.thy); | changeset | files |
| Thu, 24 Jul 2014 11:51:22 +0200 | wenzelm | reconfirm continuous checking on startup, to address common trap of disabling it accidentally; | changeset | files |
| Thu, 24 Jul 2014 11:46:40 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 24 Jul 2014 10:38:46 +0200 | wenzelm | less authentic SHA1.digest: trust Scala side on blobs and avoid re-calculation via Foreign Language Interface, which might be a cause of problems; | changeset | files |