Fedor Isakov 3c27aa79e1 More strict checking of rules, fixing minor problems reported by model checker, minor update of the rules runner		2015-04-08 15:40:32 +02:00
..
models/jetbrains/mps/typechecking/rule	More strict checking of rules, fixing minor problems reported by model checker, minor update of the rules runner	2015-04-08 15:40:32 +02:00
jetbrains.mps.typechecking.rules.msd	Migrated to MPS 3.2 EAP (build 139-987)	2014-12-15 13:57:15 +01:00