src/HOL/Unix/document/root.tex
changeset 11102 5ceaa79c220d
parent 10968 4882d65cc716
child 11862 03801fd2f8fc
     1.1 --- a/src/HOL/Unix/document/root.tex	Mon Feb 12 20:45:12 2001 +0100
     1.2 +++ b/src/HOL/Unix/document/root.tex	Mon Feb 12 20:47:19 2001 +0100
     1.3 @@ -189,7 +189,7 @@
     1.4  to clean up the situation.  In Unix \texttt{root} may perform any file-system
     1.5  operation without any access control limitations.\footnote{This is the typical
     1.6    Unix way of handling abnormal situations: while it is easy to run into odd
     1.7 -  cases due to simplistic policies it as well quite easy to get out.  There
     1.8 +  cases due to simplistic policies it is as well quite easy to get out.  There
     1.9    are other well-known systems that make it somewhat harder to get into a fix,
    1.10    but almost impossible to get out again!}
    1.11