doc-src/Ref/ref.tex
changeset 183 f34acf216a32
parent 104 d8205bb279a7
child 286 e7efbf03562b
equal deleted inserted replaced
182:e30b55c07235 183:f34acf216a32
     7 %%% needs chapter on Provers/typedsimp.ML?
     7 %%% needs chapter on Provers/typedsimp.ML?
     8 \title{The Isabelle Reference Manual}
     8 \title{The Isabelle Reference Manual}
     9 
     9 
    10 \author{{\em Lawrence C. Paulson}\thanks
    10 \author{{\em Lawrence C. Paulson}\thanks
    11 {Tobias Nipkow, of T. U. Munich, wrote Chapter~8 and part of Chapter~6.
    11 {Tobias Nipkow, of T. U. Munich, wrote Chapter~8 and part of Chapter~6.
       
    12  Carsten Clasohm also contributed to Chapter~6.
    12  Sara Kalvala and Markus Wenzel suggested changes and corrections.
    13  Sara Kalvala and Markus Wenzel suggested changes and corrections.
    13  The research has been funded by the SERC (grants GR/G53279, GR/H40570)
    14  The research has been funded by the SERC (grants GR/G53279, GR/H40570)
    14   and by ESPRIT project 6453: Types).} 
    15   and by ESPRIT project 6453: Types).} 
    15 \\  
    16 \\  
    16         Computer Laboratory \\ University of Cambridge \\[2ex]
    17         Computer Laboratory \\ University of Cambridge \\[2ex]