Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Library/Code_Prolog.thy
author wenzelm
Fri, 20 Aug 2010 11:47:33 +0200
changeset 38566 8176107637ce
parent 38117 5ae05823cfd9
child 38731 2c8a595af43e
permissions -rw-r--r--
Branches.overlapping: proper treatment of stop_range that overlaps with end; Markup_Tree.select: allow singularity in parent range specification;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
38117
5ae05823cfd9 setting up Code_Prolog_Examples
bulwahn
parents:
diff changeset 
     1
 
(*  Title:      HOL/Library/Code_Prolog.thy
5ae05823cfd9 setting up Code_Prolog_Examples
bulwahn
parents:
diff changeset 
     2
 
    Author:     Lukas Bulwahn, TUM 2010
5ae05823cfd9 setting up Code_Prolog_Examples
bulwahn
parents:
diff changeset 
     3
 
*)
5ae05823cfd9 setting up Code_Prolog_Examples
bulwahn
parents:
diff changeset 
     4
 












5ae05823cfd9
setting up Code_Prolog_Examples



bulwahn


parents: 

diff
changeset




     5


header {* Code generation of prolog programs *}













5ae05823cfd9
setting up Code_Prolog_Examples



bulwahn


parents: 

diff
changeset




     6














5ae05823cfd9
setting up Code_Prolog_Examples



bulwahn


parents: 

diff
changeset




     7


theory Code_Prolog













5ae05823cfd9
setting up Code_Prolog_Examples



bulwahn


parents: 

diff
changeset




     8


imports Main













5ae05823cfd9
setting up Code_Prolog_Examples



bulwahn


parents: 

diff
changeset




     9


uses "~~/src/HOL/Tools/Predicate_Compile/code_prolog.ML"













5ae05823cfd9
setting up Code_Prolog_Examples



bulwahn


parents: 

diff
changeset




    10


begin













5ae05823cfd9
setting up Code_Prolog_Examples



bulwahn


parents: 

diff
changeset




    11














5ae05823cfd9
setting up Code_Prolog_Examples



bulwahn


parents: 

diff
changeset




    12


end













5ae05823cfd9
setting up Code_Prolog_Examples



bulwahn


parents: 

diff
changeset




    13
















isabelle