Permalink
Browse files

corrected definitions in words_def

  • Loading branch information...
michael.gruninger
michael.gruninger committed Feb 20, 2015
1 parent 644d7c7 commit 3e0456b99a41cc72f424c255af6d2250e8b2fad0
Showing with 10 additions and 4 deletions.
  1. +10 −4 ontologies/combinatorial_semigroup/definitions/words_def.clif
@@ -7,13 +7,19 @@
(forall (x y)
(iff (subword x y)
(exists (u v)
(= y (op u (op x v))))))
(or (= x y)
(exists (u)
(= y (op u x)))
(exists (v)
(= y (op x v)))
(exists (u v)
(= y (op u (op x v)))))))
(forall (x y)
(iff (initial_subword x y)
(exists (u)
(= y (op x u)))))
(or (= x y)
(exists (u)
(= y (op x u))))))
(forall (x y)
(iff (end_subword x y)

0 comments on commit 3e0456b

Please sign in to comment.