isabelle-cookbook: ROOT@4a1539a2c18e (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	"Helper/Command/Command"
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	9	theories [quick_and_dirty, document = false]
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	10	"Intro"
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	11	"First_Steps"
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	12	"Essential"
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	13	"Advanced"
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	14	"Parsing"
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	15	"Tactical"
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	16	"Package/Ind_Intro"
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	17	"Package/Ind_Prelims"
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	18	"Package/Ind_Interface"
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	19	"Package/Ind_General_Scheme"
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	20	"Package/Ind_Code"
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	21	"Package/Ind_Extensions"
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	22	"Appendix"
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	23	"Recipes/Antiquotes"
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	24	"Recipes/TimeLimit"
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	25	"Recipes/Timing"
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	26	"Recipes/CallML"
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	27	"Recipes/ExternalSolver"
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	28	"Recipes/Oracle"
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	29	"Recipes/Sat"
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	30	"Recipes/USTypes"
308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	31	"Solutions"
536 31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	32
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	33	session "Cookbook" in "ProgTutorial" = HOL +
537 308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	34	options [document = pdf, browser_info = false, document_output = ".."]
536 31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	35	theories [document = false]
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	36	"Base"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	37	"Package/Simple_Inductive_Package"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	38	"~~/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	39	"~~/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	40	"~~/src/HOL/Library/Code_Abstract_Nat"
536 31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	41	"Helper/Command/Command"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	42	theories [quick_and_dirty, document = true]
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	43	"Intro"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	44	"First_Steps"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	45	"Essential"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	46	"Advanced"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	47	"Parsing"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	48	"Tactical"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	49	"Package/Ind_Intro"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	50	"Package/Ind_Prelims"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	51	"Package/Ind_Interface"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	52	"Package/Ind_General_Scheme"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	53	"Package/Ind_Code"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	54	"Package/Ind_Extensions"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	55	"Appendix"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	56	"Recipes/Antiquotes"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	57	"Recipes/TimeLimit"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	58	"Recipes/Timing"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	59	"Recipes/CallML"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	60	"Recipes/ExternalSolver"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	61	"Recipes/Oracle"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	62	"Recipes/Sat"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	63	"Recipes/USTypes"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	64	"Solutions"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	65	files
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	66	"document/root.bib"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	67	"document/root.tex"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	68	"document/build"
31d06b5cada4 added build for document Christian Urban <urbanc@in.tum.de> parents: diff changeset	69
537 308ba2488d40 updated Christian Urban <urbanc@in.tum.de> parents: 536 diff changeset	70

author	Christian Urban <christian dot urban at kcl dot ac dot uk>
	Fri, 17 May 2013 11:01:55 +0100
changeset 545	4a1539a2c18e
parent 542	4b96e3c8b33e
child 553	c53d74b34123
permissions	-rw-r--r--