| Mon, 04 Apr 2016 19:48:54 +0200 | wenzelm | clarified conditional compilation; | changeset | files |
| Mon, 04 Apr 2016 17:25:53 +0200 | wenzelm | clarified bootstrap -- avoid 'ML_file' in Pure.thy for uniformity; | changeset | files |
| Mon, 04 Apr 2016 17:02:34 +0200 | wenzelm | clarified bootstrap -- more uniform use of ML files; | changeset | files |
| Mon, 04 Apr 2016 16:14:22 +0200 | wenzelm | clarified bootstrap; | changeset | files |
| Mon, 04 Apr 2016 15:53:56 +0200 | wenzelm | clarified final setup of ML environment; | changeset | files |
| Mon, 04 Apr 2016 15:35:24 +0200 | wenzelm | clarified modules; | changeset | files |
| Mon, 04 Apr 2016 14:53:30 +0200 | wenzelm | avoid duplicate reports; | changeset | files |
| Mon, 04 Apr 2016 16:52:56 +0100 | paulson | Mostly renaming (from HOL Light to Isabelle conventions), with a couple of new results | changeset | files |