isabelle-cookbook: CookBook/ROOT.ML@c346c156a7cd (annotated)

0 02503850a8cf initial commit of Alexander's files Christian Urban <urbanc@in.tum.de> parents: diff changeset	1	set quick_and_dirty;
02503850a8cf initial commit of Alexander's files Christian Urban <urbanc@in.tum.de> parents: diff changeset	2
27 104af757fbf0 Added chapter about writing packages. berghofe parents: 15 diff changeset	3	no_document use_thy "Base";
104af757fbf0 Added chapter about writing packages. berghofe parents: 15 diff changeset	4
2 978a3c2ed7ce split the document into smaller pieces; Christian Urban <urbanc@in.tum.de> parents: 0 diff changeset	5	use_thy "Intro";
978a3c2ed7ce split the document into smaller pieces; Christian Urban <urbanc@in.tum.de> parents: 0 diff changeset	6	use_thy "FirstSteps";
4 2a69b119cdee added verbatim the notes by Jeremy Christian Urban <urbanc@in.tum.de> parents: 2 diff changeset	7	use_thy "Parsing";
13 2b07da8b310d polished and added a subdirectory for the recipes Christian Urban <urbanc@in.tum.de> parents: 12 diff changeset	8
27 104af757fbf0 Added chapter about writing packages. berghofe parents: 15 diff changeset	9	no_document use_thy "Package/Simple_Inductive_Package";
104af757fbf0 Added chapter about writing packages. berghofe parents: 15 diff changeset	10	use_thy "Package/Ind_Intro";
104af757fbf0 Added chapter about writing packages. berghofe parents: 15 diff changeset	11	use_thy "Package/Ind_Examples";
104af757fbf0 Added chapter about writing packages. berghofe parents: 15 diff changeset	12	use_thy "Package/Ind_General_Scheme";
104af757fbf0 Added chapter about writing packages. berghofe parents: 15 diff changeset	13	use_thy "Package/Ind_Interface";
104af757fbf0 Added chapter about writing packages. berghofe parents: 15 diff changeset	14
13 2b07da8b310d polished and added a subdirectory for the recipes Christian Urban <urbanc@in.tum.de> parents: 12 diff changeset	15	use_thy "Appendix";
2b07da8b310d polished and added a subdirectory for the recipes Christian Urban <urbanc@in.tum.de> parents: 12 diff changeset	16	use_thy "Recipes/NamedThms";
15 9da9ba2b095b added a solution section and some other minor additions Christian Urban <urbanc@in.tum.de> parents: 13 diff changeset	17	use_thy "Recipes/Transformation";
41 b11653b11bd3 further progress on the parsing section and tuning on the antiqu's Christian Urban <urbanc@in.tum.de> parents: 27 diff changeset	18	use_thy "Recipes/Antiquotes";
15 9da9ba2b095b added a solution section and some other minor additions Christian Urban <urbanc@in.tum.de> parents: 13 diff changeset	19
44 dee4b3e66dfe added a readme chapter for prospective authors; added commands for referring to the Isar Reference Manual Christian Urban <urbanc@in.tum.de> parents: 41 diff changeset	20	use_thy "Solutions";
dee4b3e66dfe added a readme chapter for prospective authors; added commands for referring to the Isar Reference Manual Christian Urban <urbanc@in.tum.de> parents: 41 diff changeset	21	use_thy "Readme";

author	Christian Urban <urbanc@in.tum.de>
	Fri, 28 Nov 2008 05:19:55 +0100
changeset 51	c346c156a7cd
parent 44	dee4b3e66dfe
child 61	64c9540f2f84
permissions	-rw-r--r--