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 60751 83f04804696c
parent 60603 09ecbd791d4a
child 60804 080a979a985b
equal deleted inserted replaced
60750:7694aa52ad56 60751:83f04804696c 
   465   theories
 
   465   theories
 
   466     AxExample
 
   466     AxExample
 
   467     AxSound
 
   467     AxSound
 
   468     AxCompl
 
   468     AxCompl
 
   469     Trans
 
   469     Trans
 
       
   470     TypeSafe
 
   470   document_files "root.tex"
 
   471   document_files "root.tex"
 
   471 
   472 
   472 session "HOL-IOA" in IOA = HOL +
 
   473 session "HOL-IOA" in IOA = HOL +
 
   473   description {*
 
   474   description {*
 
   474     Author:     Tobias Nipkow and Konrad Slind and Olaf Müller
 
   475     Author:     Tobias Nipkow and Konrad Slind and Olaf Müller
isabelle