* Thorsten Altenkirch [2005-01-25 18:30]: > I see, you want iterated case analysis automatically. > > As Edwin points out, that's not always what you want. Maybe there > should be a special gadget, case*, which iterates case analysis.
I'm in favor. Let's call it 'staircase to earth'. It takes patterns to the ground. Sebastian
