K 10 svn:author V 5 luigi K 8 svn:date V 27 2002-08-04T05:16:19.000000Z K 7 svn:log V 67 Fix generation of check-state rules, which i broke in last commit. END