Dear Andrzej, >We have changed the release number because the sytnax is different. Most >of the changes are superficial: I think I like most of these changes! >2. Blocks that in a 'per cases' reasoning end with an 'end'. So now it's possible to "nest" per cases without a "proof end"? Freek