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