diff -r b00ce6a1fe27 -r 78541329ff35 src/CCL/Wfd.thy
--- a/src/CCL/Wfd.thy Tue Mar 22 08:24:14 1994 +0100
+++ b/src/CCL/Wfd.thy Tue Mar 22 12:42:56 1994 +0100
@@ -30,5 +30,5 @@
"ra**rb == {p. EX a a' b b'.p = <,> & ( : ra | (a=a' & : rb))}"
NatPR_def "NatPR == {p.EX x:Nat. p=}"
- ListPR_def "ListPR(A) == {p.EX h:A.EX t:List(A). p=}"
+ ListPR_def "ListPR(A) == {p.EX h:A.EX t:List(A). p=}"
end