src/HOLCF/ex/Loop.thy
changeset 16232 8a12e11d222b
parent 14981 e73f8140af78
child 17291 94f6113fe9ed
     1.1 --- a/src/HOLCF/ex/Loop.thy	Sat Jun 04 02:13:31 2005 +0200
     1.2 +++ b/src/HOLCF/ex/Loop.thy	Sat Jun 04 02:24:47 2005 +0200
     1.3 @@ -5,7 +5,7 @@
     1.4  Theory for a loop primitive like while
     1.5  *)
     1.6  
     1.7 -Loop = Tr +
     1.8 +Loop = Tr + Fix +
     1.9  
    1.10  consts
    1.11          step  :: "('a -> tr)->('a -> 'a)->'a->'a"