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.
NEWS
changeset 61976 3a27957ac658
parent 61973 0c7e865fa7cb
child 61982 3af5a06577c7
equal deleted inserted replaced
61975:b4b11391c676 61976:3a27957ac658 
   502   notation Preorder.equiv ("op ~~")
 
   502   notation Preorder.equiv ("op ~~")
 
   503     and Preorder.equiv ("(_/ ~~ _)" [51, 51] 50)
 
   503     and Preorder.equiv ("(_/ ~~ _)" [51, 51] 50)
 
   504 
   504 
   505   notation (in topological_space) tendsto (infixr "--->" 55)
 
   505   notation (in topological_space) tendsto (infixr "--->" 55)
 
   506   notation (in topological_space) LIMSEQ ("((_)/ ----> (_))" [60, 60] 60)
 
   506   notation (in topological_space) LIMSEQ ("((_)/ ----> (_))" [60, 60] 60)
 
       
   507   notation LIM ("((_)/ -- (_)/ --> (_))" [60, 0, 60] 60)
 
   507 
   508 
   508   notation NSLIMSEQ ("((_)/ ----NS> (_))" [60, 60] 60)
 
   509   notation NSLIMSEQ ("((_)/ ----NS> (_))" [60, 60] 60)
 
   509   notation NSLIM ("((_)/ -- (_)/ --NS> (_))" [60, 0, 60] 60)
 
   510   notation NSLIM ("((_)/ -- (_)/ --NS> (_))" [60, 0, 60] 60)
 
   510 
   511 
   511 * The alternative notation "\<Colon>" for type and sort constraints has been
 
   512 * The alternative notation "\<Colon>" for type and sort constraints has been
isabelle