Skip to content
Permalink
Browse files

updated comments in owltime_interval with single quotes

  • Loading branch information...
carmenchui committed Jun 20, 2018
1 parent 0e7fe37 commit 4a1059299225c20c9b4a629a3500e0c0fa156743
Showing with 1 addition and 1 deletion.
  1. +1 −1 ontologies/owltime_interval/owltime_interval_lemmas.clif
@@ -3,7 +3,7 @@

(cl-imports owltime_interval)

(cl-comment "colore/verification/owltime/owltime_interval/entailment/owltime_interval_lemmas/ex314-1")
(cl-comment 'colore/verification/owltime/owltime_interval/entailment/owltime_interval_lemmas/ex314-1')

(forall (i1)
(if (Interval i1)

0 comments on commit 4a10592

Please sign in to comment.
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.