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.
src/HOL/ROOT
changeset 55033 8e8243975860
parent 55018 2a526bd279ed
child 55054 e1f3714bc508
equal deleted inserted replaced
55032:b49366215417 55033:8e8243975860 
   560     Parallel_Example
 
   560     Parallel_Example
 
   561     IArray_Examples
 
   561     IArray_Examples
 
   562     SVC_Oracle
 
   562     SVC_Oracle
 
   563     Simps_Case_Conv_Examples
 
   563     Simps_Case_Conv_Examples
 
   564     ML
 
   564     ML
 
       
   565     Cartouche_Examples
 
   565   theories [skip_proofs = false]
 
   566   theories [skip_proofs = false]
 
   566     Meson_Test
 
   567     Meson_Test
 
   567   theories [condition = SVC_HOME]
 
   568   theories [condition = SVC_HOME]
 
   568     svc_test
 
   569     svc_test
 
   569   theories [condition = ZCHAFF_HOME]
 
   570   theories [condition = ZCHAFF_HOME]
isabelle