isabelle: src/Pure/Tools/ROOT.ML@83b373f61d41 (annotated)

16781 663235466562 - introduce Pure/Tools directory obua parents: diff changeset	1	(* Title: Pure/Tools/ROOT.ML
16842 5979c46853d1 tuned; wenzelm parents: 16781 diff changeset	2
5979c46853d1 tuned; wenzelm parents: 16781 diff changeset	3	Miscellaneous tools and packages for Pure Isabelle.
16781 663235466562 - introduce Pure/Tools directory obua parents: diff changeset	4	*)
663235466562 - introduce Pure/Tools directory obua parents: diff changeset	5
24046 10f681043e07 added Tools/named_thms.ML; wenzelm parents: 23614 diff changeset	6	use "named_thms.ML";
25525 d6b898681fc7 added Tools/isabelle_process.ML; wenzelm parents: 24280 diff changeset	7	use "isabelle_process.ML";
24046 10f681043e07 added Tools/named_thms.ML; wenzelm parents: 23614 diff changeset	8
23614 4724a6b90af4 moved General/xml.ML to Tools/xml.ML; wenzelm parents: 23174 diff changeset	9	(basic XML support)
22208 2d6e8cf48670 shifted import order haftmann parents: 22023 diff changeset	10	use "xml_syntax.ML";
20708 29c1754b250f changed order haftmann parents: 20657 diff changeset	11
29858 c8cee17d7e50 Autosolve feature for detecting duplicate theorems; patch by Timothy Bourke kleing parents: 29576 diff changeset	12	(quickcheck/autosolve needed here because of pg preferences)
c8cee17d7e50 Autosolve feature for detecting duplicate theorems; patch by Timothy Bourke kleing parents: 29576 diff changeset	13	use "../../Tools/quickcheck.ML";
c8cee17d7e50 Autosolve feature for detecting duplicate theorems; patch by Timothy Bourke kleing parents: 29576 diff changeset	14	use "../../Tools/auto_solve.ML";

author	haftmann
	Mon, 16 Feb 2009 19:11:55 +0100
changeset 29940	83b373f61d41
parent 29858	c8cee17d7e50
child 30142	8d6145694bb5
child 30240	5b25fee0362c
permissions	-rw-r--r--