Mercurial Mercurial > wneuper > isa / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
src/HOL/SPARK/Tools/fdl_lexer.ML
changeset 47949 d04b38d4035b
parent 44818 9b00f09f7721
child 48142 de84dd9a9dd4
equal deleted inserted replaced
47948:3031603233e3 47949:d04b38d4035b 
    94 
    94 
    95 val $$$ = prfx o raw_explode;
 
    95 val $$$ = prfx o raw_explode;
 
    96 
    96 
    97 val lexicon = Scan.make_lexicon (map raw_explode
 
    97 val lexicon = Scan.make_lexicon (map raw_explode
 
    98   ["rule_family",
 
    98   ["rule_family",
 
    99    "title",
 
       
   100    "For",
 
    99    "For",
 
   101    ":",
 
   100    ":",
 
   102    "[",
 
   101    "[",
 
   103    "]",
 
   102    "]",
 
   104    "(",
 
   103    "(",
wneuper/isa