isabelle: src/HOL/TPTP/ROOT.ML@6d9535e52915 (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	bulwahn
	Fri, 27 Jan 2012 10:31:30 +0100
changeset 46343	6d9535e52915
parent 46324	e4bccf5ec61e
child 46844	5d9aab0c609c
permissions	-rw-r--r--