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 66444 6d2d993fa76e
parent 66443 657c517c7dc6
child 66445 407de0768126
equal deleted inserted replaced
66443:657c517c7dc6 66444:6d2d993fa76e 
   690 
   690 
   691 session "HOL-Eisbach" in Eisbach = HOL +
 
   691 session "HOL-Eisbach" in Eisbach = HOL +
 
   692   description {*
 
   692   description {*
 
   693     The Eisbach proof method language and "match" method.
 
   693     The Eisbach proof method language and "match" method.
 
   694   *}
 
   694   *}
 
       
   695   sessions
 
       
   696     FOL
 
   695   theories
 
   697   theories
 
   696     Eisbach
 
   698     Eisbach
 
   697     Tests
 
   699     Tests
 
   698     Examples
 
   700     Examples
 
   699     Examples_FOL
 
   701     Examples_FOL
isabelle