src/HOL/TPTP/TPTP_Interpret_Test.thy
Sun, 21 Sep 2014 20:14:04 +0200 wenzelm more standard Isabelle/ML operations;
Thu, 27 Mar 2014 17:12:40 +0100 wenzelm clarified Isabelle/ML bootstrap, such that Execution does not require ML_Compiler;
less more (0) -2 tip