src/HOL/TPTP/TPTP_Proof_Reconstruction_Test.thy
Tue, 08 Apr 2014 14:59:36 +0200 wenzelm more uniform ML/document antiquotations;
Wed, 26 Mar 2014 08:59:53 +0100 wenzelm tuned;
Tue, 25 Mar 2014 19:03:02 +0100 wenzelm proper configuration option "ML_print_depth";
less more (0) -3 tip