src/HOL/TPTP/TPTP_Interpret_Test.thy
Sun, 21 Sep 2014 20:14:04 +0200 wenzelm more standard Isabelle/ML operations;
less more (0) -1 tip