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/Records.thy
changeset 37826 4c0a5e35931a
parent 34971 5c290f56ebf7
child 38012 3ca193a6ae5a
equal deleted inserted replaced
37825:adc1143bc1a8 37826:4c0a5e35931a 
   344   bar31 :: "'c \<times> 'a"
 
   344   bar31 :: "'c \<times> 'a"
 
   345 
   345 
   346 
   346 
   347 subsection {* Some code generation *}
 
   347 subsection {* Some code generation *}
 
   348 
   348 
   349 export_code foo1 foo3 foo5 foo10 foo11 in SML file -
 
   349 export_code foo1 foo3 foo5 foo10 checking SML
 
   350 
   350 
   351 end
 
   351 end
isabelle