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/Tools/bnf_lfp_compat.ML
changeset 54006 9fe1bd54d437
parent 54003 c4343c31f86d
child 54009 f138452e8265
equal deleted inserted replaced
54005:132640f4c453 54006:9fe1bd54d437 
    11 end;
 
    11 end;
 
    12 
    12 
    13 structure BNF_LFP_Compat : BNF_LFP_COMPAT =
 
    13 structure BNF_LFP_Compat : BNF_LFP_COMPAT =
 
    14 struct
 
    14 struct
 
    15 
    15 
       
    16 open Ctr_Sugar
 
    16 open BNF_Util
 
    17 open BNF_Util
 
    17 open BNF_Ctr_Sugar
 
       
    18 open BNF_FP_Util
 
    18 open BNF_FP_Util
 
    19 open BNF_FP_Def_Sugar
 
    19 open BNF_FP_Def_Sugar
 
    20 open BNF_FP_N2M_Sugar
 
    20 open BNF_FP_N2M_Sugar
 
    21 
    21 
    22 fun dtyp_of_typ _ (TFree a) = Datatype_Aux.DtTFree a
 
    22 fun dtyp_of_typ _ (TFree a) = Datatype_Aux.DtTFree a
isabelle