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 55856 bddaada24074
parent 55851 3d40cf74726c
child 55862 b458558cbcc2
equal deleted inserted replaced
55855:98ad5680173a 55856:bddaada24074 
   262 ML_file "Tools/BNF/bnf_lfp_compat.ML"
 
   262 ML_file "Tools/BNF/bnf_lfp_compat.ML"
 
   263 ML_file "Tools/BNF/bnf_lfp_rec_sugar_more.ML"
 
   263 ML_file "Tools/BNF/bnf_lfp_rec_sugar_more.ML"
 
   264 
   264 
   265 hide_fact (open) id_transfer
 
   265 hide_fact (open) id_transfer
 
   266 
   266 
       
   267 datatype_new 'a F = F 'a
 
       
   268 
   267 end
 
   269 end
isabelle