Mercurial Mercurial > repos > Old_HOL / 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.
Sum.thy
changeset 128 89669c58e506
parent 122 6927e1cb2c07
child 185 8325414a370a
equal deleted inserted replaced
127:d9527f97246e 128:89669c58e506 
     7 *)
 
     7 *)
 
     8 
     8 
     9 Sum = Prod +
 
     9 Sum = Prod +
 
    10 
    10 
    11 types
 
    11 types
 
    12   ('a,'b) "+"		      (infixl 10)
 
    12   ('a,'b) "+"		      (infixr 10)
 
    13 
    13 
    14 arities
 
    14 arities
 
    15   "+"      :: (term,term)term
 
    15   "+"      :: (term,term)term
 
    16 
    16 
    17 consts
 
    17 consts
Old_HOL