doc-src/IsarRef/isar-ref.tex
changeset 7466 7df66ce6508a
parent 7335 abba35b98892
child 7509 d6fc3c4423f7
     1.1 --- a/doc-src/IsarRef/isar-ref.tex	Sat Sep 04 20:55:52 1999 +0200
     1.2 +++ b/doc-src/IsarRef/isar-ref.tex	Sat Sep 04 20:57:32 1999 +0200
     1.3 @@ -67,7 +67,8 @@
     1.4    implementation.  Theories, theorems, proof procedures etc.\ may be used
     1.5    interchangeably between Isabelle-classic proof scripts and Isabelle/Isar
     1.6    documents.  Isar is as generic as Isabelle, able to support a wide range of
     1.7 -  object-logics.  The current end-user setup is mainly for Isabelle/HOL.
     1.8 +  object-logics.  The current working environment for end-users is setup
     1.9 +  mainly for Isabelle/HOL.
    1.10  \end{abstract}
    1.11  
    1.12  \pagenumbering{roman} \tableofcontents \clearfirst
    1.13 @@ -80,7 +81,6 @@
    1.14  \nocite{Syme:1997:DECLARE}
    1.15  \nocite{Syme:1998:thesis}
    1.16  \nocite{Syme:1999:TPHOL}
    1.17 -\nocite{Wenzel:1999:TPHOL}
    1.18  
    1.19  \include{intro}
    1.20  \include{basics}