diff --git a/languages/jetbrains.mps.logic/reactor/models/jetbrains/mps/logic/reactor/logical.mps b/languages/jetbrains.mps.logic/reactor/models/jetbrains/mps/logic/reactor/logical.mps index 320d90e7..96350d69 100644 --- a/languages/jetbrains.mps.logic/reactor/models/jetbrains/mps/logic/reactor/logical.mps +++ b/languages/jetbrains.mps.logic/reactor/models/jetbrains/mps/logic/reactor/logical.mps @@ -553,6 +553,20 @@ + + + + + + + + + + + + + + diff --git a/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps b/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps index 90fe08ca..c3749dca 100644 --- a/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps +++ b/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps @@ -182,6 +182,12 @@ + + + + + + @@ -993,7 +999,37 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +