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.
doc-src/TutorialI/readers
changeset 11216 279004936bb0
parent 11212 d06fb91f22da
child 11226 0adc5f9b4977
equal deleted inserted replaced
11215:b44ad7e4c4d2 11216:279004936bb0 
     1 By chapter:
 
     1 By chapter:
 
     2 
     2 
     3 Inductive definitions: Gerwin Klein
 
       
     4 chapters 1 and 2, maybe 3: Peter White
 
     3 chapters 1 and 2, maybe 3: Peter White
 
       
     4 chapters 6, 7 and 8: David von Oheim
 
       
     5 chapter 6, maybe 8: Gerwin Klein
isabelle