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/Classpackage.thy
changeset 20187 af47971ea304
parent 20178 e56fa3c8b1f1
child 20383 58f65fc90cf4
equal deleted inserted replaced
20186:56207a6f4cc5 20187:af47971ea304 
   310 
   310 
   311 code_generate "op \<otimes>" \<one> inv
 
   311 code_generate "op \<otimes>" \<one> inv
 
   312 code_generate (ml, haskell) x
 
   312 code_generate (ml, haskell) x
 
   313 code_generate (ml, haskell) y
 
   313 code_generate (ml, haskell) y
 
   314 
   314 
   315 code_serialize ml (_)
 
       
   316 code_serialize ml (-)
 
   315 code_serialize ml (-)
 
   317 
   316 
   318 end
 
   317 end
isabelle