isabelle: doc-src/IsarAdvanced/Codegen/Thy/ROOT.ML@715163ec93c0 (annotated)

20948 9b9910b82645 initial draft haftmann parents: diff changeset	1
9b9910b82645 initial draft haftmann parents: diff changeset	2	(* $Id$ *)
9b9910b82645 initial draft haftmann parents: diff changeset	3
9b9910b82645 initial draft haftmann parents: diff changeset	4	use_thy "Codegen";
28213 b52f9205a02d New outline for codegen tutorial -- draft haftmann parents: 21147 diff changeset	5
b52f9205a02d New outline for codegen tutorial -- draft haftmann parents: 21147 diff changeset	6	(*no_document use_thy "Setup";
b52f9205a02d New outline for codegen tutorial -- draft haftmann parents: 21147 diff changeset	7
b52f9205a02d New outline for codegen tutorial -- draft haftmann parents: 21147 diff changeset	8	use_thy "Introduction";
b52f9205a02d New outline for codegen tutorial -- draft haftmann parents: 21147 diff changeset	9	use_thy "Program";
b52f9205a02d New outline for codegen tutorial -- draft haftmann parents: 21147 diff changeset	10	use_thy "Adaption";
b52f9205a02d New outline for codegen tutorial -- draft haftmann parents: 21147 diff changeset	11	use_thy "Further";
b52f9205a02d New outline for codegen tutorial -- draft haftmann parents: 21147 diff changeset	12	use_thy "ML";*)