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_fp_n2m_sugar.ML
changeset 54006 9fe1bd54d437
parent 53974 612505263257
child 54009 f138452e8265
equal deleted inserted replaced
54005:132640f4c453 54006:9fe1bd54d437 
    23 end;
 
    23 end;
 
    24 
    24 
    25 structure BNF_FP_N2M_Sugar : BNF_FP_N2M_SUGAR =
 
    25 structure BNF_FP_N2M_Sugar : BNF_FP_N2M_SUGAR =
 
    26 struct
 
    26 struct
 
    27 
    27 
       
    28 open Ctr_Sugar
 
    28 open BNF_Util
 
    29 open BNF_Util
 
    29 open BNF_Def
 
    30 open BNF_Def
 
    30 open BNF_Ctr_Sugar
 
       
    31 open BNF_FP_Util
 
    31 open BNF_FP_Util
 
    32 open BNF_FP_Def_Sugar
 
    32 open BNF_FP_Def_Sugar
 
    33 open BNF_FP_N2M
 
    33 open BNF_FP_N2M
 
    34 
    34 
    35 val n2mN = "n2m_"
 
    35 val n2mN = "n2m_"
isabelle