(***********************************************************************)
(*
- Time-stamp: <Last modified on 2013-01-30 19:07:02 CET by Kim Nguyen>
+ Time-stamp: <Last modified on 2013-04-04 18:41:31 CEST by Kim Nguyen>
*)
(** Implementation of sets of states *)