Fedor Isakov 17c2c73aeb Minor code cleanup		2021-09-22 17:08:25 +02:00
..
jetbrains.mps.logic.dataform.mps	Feature: isGround and isNonground predicates, MPSCR-94	2021-07-22 13:59:19 +02:00
jetbrains.mps.logic.predicate.mps	Minor code cleanup	2021-09-22 17:08:25 +02:00
jetbrains.mps.logic.unification.mps	Minor optimization: rely on variable count when mapping terms	2021-04-12 12:47:43 +02:00