# HG changeset patch
# User ballarin
# Date 1221560677 -7200
# Node ID c1502be099a742bedb0cd9b8fc5a6097d4ae4313
# Parent  7dd07bd7bebd73d27cffe67040068f156d6f34da
Fixed typo in locale declaration.

diff -r 7dd07bd7bebd -r c1502be099a7 src/ZF/UNITY/Distributor.thy
--- 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]: