[CZT-Users] Example specifications

[nelis <nel...@cs...>]

Dear CZT developers,

I'm now using the JEdit plug-in to produce a Z specification for a few 
weeks, but it is not always easy to find your way with so few 
documentation and examples. I'm wondering if you could provide more 
examples through the website of z specifications, possibly annotated 
with some explanation? Some of you must have other examples then the 
BirthdayDay example.

Kind regards,
Nelis