isabelle: src/HOL/TPTP/ROOT.ML@e4bccf5ec61e (annotated)

43804 eb9be23db2b7 cleanly separate TPTP related files from other examples blanchet parents: diff changeset	1	(* Title: HOL/TPTP/ROOT.ML
eb9be23db2b7 cleanly separate TPTP related files from other examples blanchet parents: diff changeset	2	Author: Jasmin Blanchette, TU Muenchen
eb9be23db2b7 cleanly separate TPTP related files from other examples blanchet parents: diff changeset	3	Author: Nik Sultana, University of Cambridge
eb9be23db2b7 cleanly separate TPTP related files from other examples blanchet parents: diff changeset	4	Copyright 2011
eb9be23db2b7 cleanly separate TPTP related files from other examples blanchet parents: diff changeset	5
eb9be23db2b7 cleanly separate TPTP related files from other examples blanchet parents: diff changeset	6	TPTP-related extensions.
eb9be23db2b7 cleanly separate TPTP related files from other examples blanchet parents: diff changeset	7	*)
eb9be23db2b7 cleanly separate TPTP related files from other examples blanchet parents: diff changeset	8
eb9be23db2b7 cleanly separate TPTP related files from other examples blanchet parents: diff changeset	9	use_thys [
46321 484dc68c8c89 renamed theory exporter blanchet parents: 43804 diff changeset	10	"ATP_Theory_Export"
43804 eb9be23db2b7 cleanly separate TPTP related files from other examples blanchet parents: diff changeset	11	];
eb9be23db2b7 cleanly separate TPTP related files from other examples blanchet parents: diff changeset	12
eb9be23db2b7 cleanly separate TPTP related files from other examples blanchet parents: diff changeset	13	Unsynchronized.setmp Proofterm.proofs (!Proofterm.proofs)
46324 e4bccf5ec61e added problem importer blanchet parents: 46321 diff changeset	14	use_thys [
e4bccf5ec61e added problem importer blanchet parents: 46321 diff changeset	15	"ATP_Problem_Import",
e4bccf5ec61e added problem importer blanchet parents: 46321 diff changeset	16	"CASC_Setup"
e4bccf5ec61e added problem importer blanchet parents: 46321 diff changeset	17	];

author	blanchet
	Mon, 23 Jan 2012 17:40:32 +0100
changeset 46324	e4bccf5ec61e
parent 46321	484dc68c8c89
child 46844	5d9aab0c609c
permissions	-rw-r--r--