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.
etc/isar-keywords-ZF.el
changeset 12935 d697091d1591
parent 12926 cd0dd6e0bf5c
child 12954 850609c057e2
equal deleted inserted replaced
12934:6003b4f916c0 12935:d697091d1591 
   189     "monos"
 
   189     "monos"
 
   190     "notes"
 
   190     "notes"
 
   191     "output"
 
   191     "output"
 
   192     "overloaded"
 
   192     "overloaded"
 
   193     "recursor_eqns"
 
   193     "recursor_eqns"
 
       
   194     "shows"
 
   194     "structure"
 
   195     "structure"
 
   195     "type_elims"
 
   196     "type_elims"
 
   196     "type_intros"
 
   197     "type_intros"
 
   197     "uses"
 
   198     "uses"
 
   198     "where"))
 
   199     "where"))
isabelle