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.
Admin/isatest/isatest-stats
changeset 30616 ac79f1bb5db3
parent 30111 01a87bc13415
child 30700 dc38bb27df50
equal deleted inserted replaced
30615:f1275196df16 30616:ac79f1bb5db3 
    29   HOL-NumberTheory \
 
    29   HOL-NumberTheory \
 
    30   HOL-SET-Protocol \
 
    30   HOL-SET-Protocol \
 
    31   HOL-UNITY \
 
    31   HOL-UNITY \
 
    32   HOL-Word \
 
    32   HOL-Word \
 
    33   HOL-ex \
 
    33   HOL-ex \
 
       
    34   HOLCF \
 
       
    35   IOA \
 
    34   ZF \
 
    36   ZF \
 
    35   ZF-Constructible \
 
    37   ZF-Constructible \
 
    36   ZF-UNITY"
 
    38   ZF-UNITY"
 
    37 
    39 
    38 AFP_SESSIONS="\
 
    40 AFP_SESSIONS="\
isabelle