Fixed typo in locale declaration.

--- a/src/ZF/UNITY/Distributor.thy	Tue Sep 16 09:21:28 2008 +0200
+++ b/src/ZF/UNITY/Distributor.thy	Tue Sep 16 12:24:37 2008 +0200
@@ -45,7 +45,7 @@
     and D
  assumes
      var_assumes [simp]:  "In \<in> var & iIn \<in> var & (\<forall>n. Out(n):var)"
- and all_distinct_vars:   "\<forall>n. all_distinct([In, iIn, iOut(n)])"
+ and all_distinct_vars:   "\<forall>n. all_distinct([In, iIn, Out(n)])"
  and type_assumes [simp]: "type_of(In)=list(A) &  type_of(iIn)=list(nat) &
                           (\<forall>n. type_of(Out(n))=list(A))"
  and default_val_assumes [simp]: