isabelle-cookbook: CookBook/ROOT.ML@34b93dbf8c3c (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
2 978a3c2ed7ce split the document into smaller pieces; Christian Urban <urbanc@in.tum.de> parents: 0 diff changeset	3	use_thy "Intro";
978a3c2ed7ce split the document into smaller pieces; Christian Urban <urbanc@in.tum.de> parents: 0 diff changeset	4	use_thy "FirstSteps";
4 2a69b119cdee added verbatim the notes by Jeremy Christian Urban <urbanc@in.tum.de> parents: 2 diff changeset	5	use_thy "Parsing";
13 2b07da8b310d polished and added a subdirectory for the recipes Christian Urban <urbanc@in.tum.de> parents: 12 diff changeset	6
2b07da8b310d polished and added a subdirectory for the recipes Christian Urban <urbanc@in.tum.de> parents: 12 diff changeset	7	use_thy "Appendix";
2b07da8b310d polished and added a subdirectory for the recipes Christian Urban <urbanc@in.tum.de> parents: 12 diff changeset	8	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	9	use_thy "Recipes/Transformation";
9da9ba2b095b added a solution section and some other minor additions Christian Urban <urbanc@in.tum.de> parents: 13 diff changeset	10
9da9ba2b095b added a solution section and some other minor additions Christian Urban <urbanc@in.tum.de> parents: 13 diff changeset	11	use_thy "Solutions";

author	Christian Urban <urbanc@in.tum.de>
	Sun, 05 Oct 2008 14:29:13 -0400 (2008-10-05)
changeset 19	34b93dbf8c3c
parent 15	9da9ba2b095b
child 27	104af757fbf0
permissions	-rw-r--r--