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/Import/offline/maps.lst
changeset 81936 67ea7246a9d0
parent 81931 3c888cd24351
equal deleted inserted replaced
81935:dea6f877c225 81936:67ea7246a9d0 
    34 num_INDUCTION num_INDUCTION
 
    34 num_INDUCTION num_INDUCTION
 
    35 DEF_NUMERAL
 
    35 DEF_NUMERAL
 
    36 num_Axiom     num_Axiom
 
    36 num_Axiom     num_Axiom
 
    37 DEF_BIT0
 
    37 DEF_BIT0
 
    38 DEF_BIT1
 
    38 DEF_BIT1
 
       
    39 DEF_WF        -
 
       
    40 WF            WF
 
    39 DEF_PRE       -
 
    41 DEF_PRE       -
 
    40 PRE           PRE
 
    42 PRE           PRE
 
    41 DEF_+         -
 
    43 DEF_+         -
 
    42 ADD           ADD
 
    44 ADD           ADD
 
    43 DEF_*         -
 
    45 DEF_*         -
 
    79 HD            HD
 
    81 HD            HD
 
    80 DEF_TL        -
 
    82 DEF_TL        -
 
    81 TL            TL
 
    83 TL            TL
 
    82 DEF_APPEND    -
 
    84 DEF_APPEND    -
 
    83 APPEND        APPEND
 
    85 APPEND        APPEND
 
    84 DEF_REVERSE   -
 
       
    85 DEF_LENGTH    -
 
    86 DEF_LENGTH    -
 
    86 LENGTH        LENGTH
 
    87 LENGTH        LENGTH
 
    87 DEF_MAP       -
 
    88 DEF_MAP       -
 
    88 MAP           MAP
 
    89 MAP           MAP
 
    89 DEF_LAST      -
 
    90 DEF_LAST      -
 
    90 LAST          LAST
 
    91 LAST          LAST
 
    91 DEF_BUTLAST   -
 
       
    92 DEF_REPLICATE -
 
       
    93 DEF_NULL      -
 
       
    94 DEF_ALL       -
 
       
    95 DEF_EX        -
 
       
    96 DEF_ITLIST    -
 
       
    97 DEF_ALL2      -
 
       
    98 DEF_FILTER    -
 
       
    99 DEF_ZIP       -
 
       
   100 ZIP_DEF       -
 
       
   101 TYDEF_real -
 
    92 TYDEF_real -
 
   102 DEF_real_of_num -
 
    93 DEF_real_of_num -
 
   103 real_of_num -
 
    94 real_of_num -
 
   104 real_of_num_th -
 
    95 real_of_num_th -
 
   105 DEF_real_neg -
 
    96 DEF_real_neg -
isabelle