| Mon, 04 Apr 2016 20:07:08 +0200 | wenzelm | option ML_system_unsafe; | changeset | files |
| 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 |