Mercurial Mercurial > repos > isabelle / comparison
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/ex/CodeEmbed.thy
changeset 21079 747d716e98d0
parent 20453 855f07fabd76
child 21113 5b76e541cc0a
equal deleted inserted replaced
21078:101aefd61aac 21079:747d716e98d0 
    83 code_const Type and TFix
 
    83 code_const Type and TFix
 
    84   and Const and App and Fix
 
    84   and Const and App and Fix
 
    85   (SML "Term.Type (_, _)" and "Term.TFree (_, _)"
 
    85   (SML "Term.Type (_, _)" and "Term.TFree (_, _)"
 
    86     and "Term.Const (_, _)" and "Term.$ (_, _)" and "Term.Free (_, _)")
 
    86     and "Term.Const (_, _)" and "Term.$ (_, _)" and "Term.Free (_, _)")
 
    87 
    87 
       
    88 code_reserved SML Term
 
       
    89 
    88 end
 
    90 end
isabelle