Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned text;
authorwenzelm
Sat, 18 Jun 2011 12:49:55 +0200
changeset 43433 f67364f35789
parent 43432 224006e5ac46
child 43434 2fd41645813d
tuned text;
src/HOL/Unix/Unix.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Unix/Unix.thy	Sat Jun 18 12:37:42 2011 +0200
+++ b/src/HOL/Unix/Unix.thy	Sat Jun 18 12:49:55 2011 +0200
@@ -847,7 +847,7 @@
   The following invariant over the root file-system describes the
   bogus situation in an abstract manner: located at a certain @{term
   path} within the file-system is a non-empty directory that is
-  neither owned and nor writable by @{term user\<^isub>1}.
+  neither owned nor writable by @{term user\<^isub>1}.
 *}
 
 definition
isabelle