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 76686 10c4aa9eecf8
parent 76685 806d0b3aebaf
child 76688 87e7ab6aa40b
equal deleted inserted replaced
76685:806d0b3aebaf 76686:10c4aa9eecf8 
    63       asym_onD
 
    63       asym_onD
 
    64       asym_onI
 
    64       asym_onI
 
    65       asymp_if_irreflp_and_transp
 
    65       asymp_if_irreflp_and_transp
 
    66       asymp_onD
 
    66       asymp_onD
 
    67       asymp_onI
 
    67       asymp_onI
 
       
    68       asymp_on_asym_on_eq[pred_set_conv]
 
    68       irreflD
 
    69       irreflD
 
    69       irrefl_onD
 
    70       irrefl_onD
 
    70       irrefl_onI
 
    71       irrefl_onI
 
    71       irrefl_on_converse[simp]
 
    72       irrefl_on_converse[simp]
 
    72       irrefl_on_subset
 
    73       irrefl_on_subset
isabelle