Sun, 21 Sep 2014 20:14:04 +0200 | wenzelm | more standard Isabelle/ML operations; | file | diff | annotate |
Thu, 27 Mar 2014 17:12:40 +0100 | wenzelm | clarified Isabelle/ML bootstrap, such that Execution does not require ML_Compiler; | file | diff | annotate |