Front integration
Compare changes
- Katja Goltsova authored
Represented as And() and Or() respectively.
@@ -4,6 +4,7 @@ import lisa.kernel.fol.FOL
@@ -60,6 +61,10 @@ object Parser {
@@ -92,6 +97,8 @@ object Parser {
@@ -122,7 +129,7 @@ object Parser {
@@ -139,9 +146,9 @@ object Parser {
@@ -164,6 +171,7 @@ object Parser {
@@ -240,7 +248,7 @@ object Parser {
@@ -253,6 +261,18 @@ object Parser {
@@ -393,6 +413,8 @@ object Parser {