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 58385 9cbef70cff8e
parent 58372 bfd497f2f4c2
child 58413 22dd971f6938
equal deleted inserted replaced
58384:00aaaa7bd752 58385:9cbef70cff8e 
   753     "Derivation_Trees/Parallel"
 
   753     "Derivation_Trees/Parallel"
 
   754     Koenig
 
   754     Koenig
 
   755     Stream_Processor
 
   755     Stream_Processor
 
   756     Misc_Codatatype
 
   756     Misc_Codatatype
 
   757     Misc_Datatype
 
   757     Misc_Datatype
 
       
   758     Misc_N2M
 
   758     Misc_Primcorec
 
   759     Misc_Primcorec
 
   759     Misc_Primrec
 
   760     Misc_Primrec
 
   760   theories [condition = ISABELLE_FULL_TEST, timing]
 
   761   theories [condition = ISABELLE_FULL_TEST, timing]
 
   761     Brackin
 
   762     Brackin
 
   762     IsaFoR
 
   763     IsaFoR
isabelle