--- a/src/HOLCF/ex/Loop.thy Sat Jun 04 02:13:31 2005 +0200
+++ b/src/HOLCF/ex/Loop.thy Sat Jun 04 02:24:47 2005 +0200
@@ -5,7 +5,7 @@
Theory for a loop primitive like while
*)
-Loop = Tr +
+Loop = Tr + Fix +
consts
step :: "('a -> tr)->('a -> 'a)->'a->'a"