isabelle-cookbook: ROOT@84aef87b348a (annotated)

537 308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	1	session "Session" in "ProgTutorial" = HOL +
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	2	theories [document = false]
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	3	"Base"
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	4	"Package/Simple_Inductive_Package"
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	5	"~~/src/HOL/Number_Theory/Primes"
542 4b96e3c8b33e updated the CallML section with the help from Florian Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 537 diff changeset	6	"~~/src/HOL/Library/Code_Target_Numeral"
4b96e3c8b33e updated the CallML section with the help from Florian Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 537 diff changeset	7	"~~/src/HOL/Library/Code_Abstract_Nat"
537 308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	8	theories [quick_and_dirty, document = false]
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	9	"Intro"
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	10	"First_Steps"
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	11	"Essential"
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	12	"Advanced"
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	13	"Parsing"
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	14	"Tactical"
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	15	"Package/Ind_Intro"
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	16	"Package/Ind_Prelims"
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	17	"Package/Ind_Interface"
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	18	"Package/Ind_General_Scheme"
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	19	"Package/Ind_Code"
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	20	"Package/Ind_Extensions"
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	21	"Appendix"
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	22	"Recipes/Antiquotes"
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	23	"Recipes/TimeLimit"
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	24	"Recipes/Timing"
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	25	"Recipes/ExternalSolver"
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	26	"Recipes/Oracle"
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	27	"Recipes/Sat"
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	28	"Recipes/USTypes"
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	29	"Solutions"
536 31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	30
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	31	session "Cookbook" in "ProgTutorial" = HOL +
537 308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	32	options [document = pdf, browser_info = false, document_output = ".."]
536 31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	33	theories [document = false]
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	34	"Base"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	35	"Package/Simple_Inductive_Package"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	36	"~~/src/HOL/Number_Theory/Primes"
542 4b96e3c8b33e updated the CallML section with the help from Florian Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 537 diff changeset	37	"~~/src/HOL/Library/Code_Target_Numeral"
4b96e3c8b33e updated the CallML section with the help from Florian Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 537 diff changeset	38	"~~/src/HOL/Library/Code_Abstract_Nat"
536 31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	39	theories [quick_and_dirty, document = true]
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	40	"Intro"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	41	"First_Steps"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	42	"Essential"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	43	"Advanced"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	44	"Parsing"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	45	"Tactical"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	46	"Package/Ind_Intro"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	47	"Package/Ind_Prelims"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	48	"Package/Ind_Interface"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	49	"Package/Ind_General_Scheme"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	50	"Package/Ind_Code"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	51	"Package/Ind_Extensions"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	52	"Appendix"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	53	"Recipes/Antiquotes"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	54	"Recipes/TimeLimit"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	55	"Recipes/Timing"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	56	"Recipes/ExternalSolver"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	57	"Recipes/Oracle"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	58	"Recipes/Sat"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	59	"Recipes/USTypes"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	60	"Solutions"
556 3c214b215f7e some small updates for Isabelle and corrections in the Parsing chapter Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 553 diff changeset	61	document_files
3c214b215f7e some small updates for Isabelle and corrections in the Parsing chapter Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 553 diff changeset	62	"root.bib"
3c214b215f7e some small updates for Isabelle and corrections in the Parsing chapter Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 553 diff changeset	63	"root.tex"
3c214b215f7e some small updates for Isabelle and corrections in the Parsing chapter Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 553 diff changeset	64	"build"
536 31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	65
537 308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	66

author	Christian Urban <christian dot urban at kcl dot ac dot uk>
	Wed, 20 Aug 2014 14:42:14 +0100
changeset 558	84aef87b348a
parent 556	3c214b215f7e
child 562	daf404920ab9
permissions	-rw-r--r--