src/HOL/TPTP/TPTP_Test.thy
Mon, 23 Apr 2012 12:23:23 +0100 sultana moved function for testing problem-name parsing;
less more (0) -1 tip