[project @ 2000-06-07 15:33:50 by keithw]
authorkeithw <unknown>
Wed, 7 Jun 2000 15:33:50 +0000 (15:33 +0000)
committerkeithw <unknown>
Wed, 7 Jun 2000 15:33:50 +0000 (15:33 +0000)
Fix printing of unfoldings in hi-files: lambda binders are now grouped
again like they used to be, rather than printed one-at-a-time.


No differences found