Fedor Isakov 365883a099 Fix broken representation of terms with specification		2021-10-27 12:03:49 +02:00
..
jetbrains.mps.logic.dataform.mps	Fix broken representation of terms with specification	2021-10-27 12:03:49 +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