isabelle: src/HOL/TPTP/ROOT.ML@ed681ca1188a (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 [
46844 5d9aab0c609c added tptp parser; sultana parents: 46324 diff changeset	10	"ATP_Theory_Export",
5d9aab0c609c added tptp parser; sultana parents: 46324 diff changeset	11	"TPTP_Parser"
43804 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
eb9be23db2b7 cleanly separate TPTP related files from other examples blanchet parents: diff changeset	14	Unsynchronized.setmp Proofterm.proofs (!Proofterm.proofs)
46324 e4bccf5ec61e added problem importer blanchet parents: 46321 diff changeset	15	use_thys [
e4bccf5ec61e added problem importer blanchet parents: 46321 diff changeset	16	"ATP_Problem_Import",
e4bccf5ec61e added problem importer blanchet parents: 46321 diff changeset	17	"CASC_Setup"
e4bccf5ec61e added problem importer blanchet parents: 46321 diff changeset	18	];

author	bulwahn
	Thu, 29 Mar 2012 17:40:44 +0200
changeset 47197	ed681ca1188a
parent 46844	5d9aab0c609c
child 47526	832ca5c3f1b1
permissions	-rw-r--r--