isabelle: src/Tools/Code_Generator.thy@105f40051387 (annotated)

30929 d9343c0aac11 code generator bootstrap theory src/Tools/Code_Generator.thy haftmann parents: diff changeset	1	(* Title: Tools/Code_Generator.thy
d9343c0aac11 code generator bootstrap theory src/Tools/Code_Generator.thy haftmann parents: diff changeset	2	Author: Florian Haftmann, TU Muenchen
d9343c0aac11 code generator bootstrap theory src/Tools/Code_Generator.thy haftmann parents: diff changeset	3	*)
d9343c0aac11 code generator bootstrap theory src/Tools/Code_Generator.thy haftmann parents: diff changeset	4
d9343c0aac11 code generator bootstrap theory src/Tools/Code_Generator.thy haftmann parents: diff changeset	5	header {* Loading the code generator modules *}
d9343c0aac11 code generator bootstrap theory src/Tools/Code_Generator.thy haftmann parents: diff changeset	6
d9343c0aac11 code generator bootstrap theory src/Tools/Code_Generator.thy haftmann parents: diff changeset	7	theory Code_Generator
d9343c0aac11 code generator bootstrap theory src/Tools/Code_Generator.thy haftmann parents: diff changeset	8	imports Pure
d9343c0aac11 code generator bootstrap theory src/Tools/Code_Generator.thy haftmann parents: diff changeset	9	uses
d9343c0aac11 code generator bootstrap theory src/Tools/Code_Generator.thy haftmann parents: diff changeset	10	"~~/src/Tools/value.ML"
30973 304ab57afa6e observe distinction between Pure/Tools and Tools more closely haftmann parents: 30929 diff changeset	11	"~~/src/Tools/quickcheck.ML"
31775 2b04504fcb69 uniformly capitialized names for subdirectories haftmann parents: 31125 diff changeset	12	"~~/src/Tools/Code/code_preproc.ML"
2b04504fcb69 uniformly capitialized names for subdirectories haftmann parents: 31125 diff changeset	13	"~~/src/Tools/Code/code_thingol.ML"
2b04504fcb69 uniformly capitialized names for subdirectories haftmann parents: 31125 diff changeset	14	"~~/src/Tools/Code/code_printer.ML"
2b04504fcb69 uniformly capitialized names for subdirectories haftmann parents: 31125 diff changeset	15	"~~/src/Tools/Code/code_target.ML"
2b04504fcb69 uniformly capitialized names for subdirectories haftmann parents: 31125 diff changeset	16	"~~/src/Tools/Code/code_ml.ML"
2b04504fcb69 uniformly capitialized names for subdirectories haftmann parents: 31125 diff changeset	17	"~~/src/Tools/Code/code_haskell.ML"
30929 d9343c0aac11 code generator bootstrap theory src/Tools/Code_Generator.thy haftmann parents: diff changeset	18	"~~/src/Tools/nbe.ML"
d9343c0aac11 code generator bootstrap theory src/Tools/Code_Generator.thy haftmann parents: diff changeset	19	begin
d9343c0aac11 code generator bootstrap theory src/Tools/Code_Generator.thy haftmann parents: diff changeset	20
d9343c0aac11 code generator bootstrap theory src/Tools/Code_Generator.thy haftmann parents: diff changeset	21	setup {*
31125 80218ee73167 transferred code generator preprocessor into separate module haftmann parents: 31036 diff changeset	22	Code_Preproc.setup
80218ee73167 transferred code generator preprocessor into separate module haftmann parents: 31036 diff changeset	23	#> Code_ML.setup
30929 d9343c0aac11 code generator bootstrap theory src/Tools/Code_Generator.thy haftmann parents: diff changeset	24	#> Code_Haskell.setup
d9343c0aac11 code generator bootstrap theory src/Tools/Code_Generator.thy haftmann parents: diff changeset	25	#> Nbe.setup
d9343c0aac11 code generator bootstrap theory src/Tools/Code_Generator.thy haftmann parents: diff changeset	26	*}
d9343c0aac11 code generator bootstrap theory src/Tools/Code_Generator.thy haftmann parents: diff changeset	27
d9343c0aac11 code generator bootstrap theory src/Tools/Code_Generator.thy haftmann parents: diff changeset	28	end

author	wenzelm
	Fri, 02 Oct 2009 22:15:08 +0200
changeset 32861	105f40051387
parent 31775	2b04504fcb69
child 33561	ab01b72715ef
permissions	-rw-r--r--