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]: