Static.thy
2013-09-02 chunhan remove in-current constrains from co2sobj, alive already does this job in co2sobj's properties
2013-08-29 chunhan remove O_msg from co2sobj/init_obj2sobj
less more (0) -10 -2 tip