Dear all, I will now merge the `strict' branch to the main trunk. Please, avoid committing changes to the repository until the merge is finished (this is not strictly required, but it would make my life easier). I will send a note to the list when everything is done. Ciao Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it