Mercurial Mercurial > wneuper > isa / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
src/Tools/isac/Interpret/Interpret.thy
changeset 59285 0048462f0bb3
parent 59284 80106a89492e
child 59287 94e381d33e7a
child 59292 9a607570193f 
     1.1 --- a/src/Tools/isac/Interpret/Interpret.thy	Tue Dec 27 17:43:12 2016 +0100
     1.2 +++ b/src/Tools/isac/Interpret/Interpret.thy	Wed Dec 28 08:57:00 2016 +0100
     1.3 @@ -11,7 +11,6 @@
     1.4    ML_file "~~/src/Tools/isac/Interpret/ptyps.sml"
     1.5    ML_file "~~/src/Tools/isac/Interpret/generate.sml"
     1.6    ML_file "~~/src/Tools/isac/Interpret/calchead.sml"
     1.7 -(*declare [[ML_print_depth = 999]] ..WITHOUT COMMENT WOULD KILL  Build_Thydata.thy *)
     1.8    ML_file "~~/src/Tools/isac/Interpret/appl.sml"
     1.9    ML_file "~~/src/Tools/isac/Interpret/rewtools.sml"
    1.10    ML_file "~~/src/Tools/isac/Interpret/script.sml"
wneuper/isa