added and_Conj in StructuralSlv

This commit is contained in:
krasimir
2016-06-15 08:28:14 +00:00
parent 2f508cbd83
commit 345c2bbc8f
2 changed files with 4 additions and 1 deletions

View File

@@ -310,5 +310,7 @@ oper
mkInterj : Str -> Interj =
\s -> lin Interj {s=s} ;
mkConj : Str -> Conj =
\s -> lin Conj {s=s} ;
}