isabelle: doc-src/Codegen/Thy/ROOT.ML@ab05be086c4a (annotated)

20948 9b9910b82645 initial draft haftmann parents: diff changeset	1
28419 f65e8b318581 re-canibalised manual haftmann parents: 28213 diff changeset	2	no_document use_thy "Setup";
28420 293b166c45c5 fixed slips haftmann parents: 28419 diff changeset	3	no_document use_thys ["Efficient_Nat"];
28213 b52f9205a02d New outline for codegen tutorial -- draft haftmann parents: 21147 diff changeset	4
b52f9205a02d New outline for codegen tutorial -- draft haftmann parents: 21147 diff changeset	5	use_thy "Introduction";
b52f9205a02d New outline for codegen tutorial -- draft haftmann parents: 21147 diff changeset	6	use_thy "Program";
b52f9205a02d New outline for codegen tutorial -- draft haftmann parents: 21147 diff changeset	7	use_thy "Adaption";
b52f9205a02d New outline for codegen tutorial -- draft haftmann parents: 21147 diff changeset	8	use_thy "Further";
28419 f65e8b318581 re-canibalised manual haftmann parents: 28213 diff changeset	9	use_thy "ML";