src/HOL/Metis_Examples/Type_Encodings.thy
changeset 44815 19b70980a1bb
parent 44813 d7094cae7df4
child 45502 6246bef495ff
equal deleted inserted replaced
44814:52318464c73b 44815:19b70980a1bb
    32    "poly_guards!!",
    32    "poly_guards!!",
    33    "poly_guards@!",
    33    "poly_guards@!",
    34    "poly_tags",
    34    "poly_tags",
    35    "poly_tags?",
    35    "poly_tags?",
    36    "poly_tags??",
    36    "poly_tags??",
       
    37    "poly_tags@?",
    37    "poly_tags!",
    38    "poly_tags!",
    38    "poly_tags!!",
    39    "poly_tags!!",
       
    40    "poly_tags@!",
    39    "poly_args",
    41    "poly_args",
    40    "raw_mono_guards",
    42    "raw_mono_guards",
    41    "raw_mono_guards?",
    43    "raw_mono_guards?",
    42    "raw_mono_guards??",
    44    "raw_mono_guards??",
    43    "raw_mono_guards@?",
    45    "raw_mono_guards@?",
    45    "raw_mono_guards!!",
    47    "raw_mono_guards!!",
    46    "raw_mono_guards@!",
    48    "raw_mono_guards@!",
    47    "raw_mono_tags",
    49    "raw_mono_tags",
    48    "raw_mono_tags?",
    50    "raw_mono_tags?",
    49    "raw_mono_tags??",
    51    "raw_mono_tags??",
       
    52    "raw_mono_tags@?",
    50    "raw_mono_tags!",
    53    "raw_mono_tags!",
    51    "raw_mono_tags!!",
    54    "raw_mono_tags!!",
       
    55    "raw_mono_tags@!",
    52    "raw_mono_args",
    56    "raw_mono_args",
    53    "mono_guards",
    57    "mono_guards",
    54    "mono_guards?",
    58    "mono_guards?",
    55    "mono_guards??",
    59    "mono_guards??",
    56    "mono_guards!",
    60    "mono_guards!",