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/BNF_LFP.thy
changeset 55862 b458558cbcc2
parent 55856 bddaada24074
child 55863 fa3a1ec69a1b
equal deleted inserted replaced
55861:0a8200e31474 55862:b458558cbcc2 
   264 
   264 
   265 hide_fact (open) id_transfer
 
   265 hide_fact (open) id_transfer
 
   266 
   266 
   267 datatype_new 'a F = F 'a
 
   267 datatype_new 'a F = F 'a
 
   268 
   268 
       
   269 primrec f where
 
       
   270   "f (F x) = x"
 
       
   271 
   269 end
 
   272 end
isabelle