src/HOL/Unix/document/root.tex
changeset 13381 60bc63b13857
parent 11862 03801fd2f8fc
     1.1 --- a/src/HOL/Unix/document/root.tex	Tue Jul 16 18:46:04 2002 +0200
     1.2 +++ b/src/HOL/Unix/document/root.tex	Tue Jul 16 18:46:13 2002 +0200
     1.3 @@ -206,7 +206,7 @@
     1.4  over the structure of file-systems and possible system transitions.
     1.5  Isabelle/HOL \cite{Nipkow-et-al:2000:HOL} is particularly well-suited for this
     1.6  kind of application.  By the present development we also demonstrate that the
     1.7 -Isabelle/Isar environment \cite{Wenzel:1999:TPHOL,Wenzel:2000:isar-ref} for
     1.8 +Isabelle/Isar environment \cite{Wenzel:1999:TPHOL,Wenzel:2002:isar-ref} for
     1.9  readable formal proofs is sufficiently flexible to cover non-trivial
    1.10  verification tasks as well.  So far this has been the classical domain of
    1.11  ``interactive'' theorem proving systems based on unstructured tactic