src/HOL/TPTP/TPTP_Parser_Example.thy
Wed, 12 May 2021 12:22:44 +0200 wenzelm avoid duplicate loading of ML file;
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
less more (0) -3 tip