src/HOL/TPTP/TPTP_Parser_Example.thy
Thu, 26 May 2016 17:51:22 +0200 wenzelm isabelle update_cartouches -c -t;
Sun, 19 Jan 2014 22:38:17 +0100 boehmes removed obsolete remote_cvc3 and remote_z3
Tue, 03 Sep 2013 21:46:41 +0100 sultana included axiom formulas (removing a FIXME) in the imported problem;
less more (0) -3 tip