Searched defs:side (Results 1 - 3 of 3) sorted by relevance

/hets/CASL_DL/doc/
H A DCASL_DL-Notes.tex78 Annotations (on the OWL DL side) can point to parts that are
88 \subsection{Structuring on the \CASLDL side}
167 On the OWL DL side so called AnnotionProperties can be declared and
183 on the OWL DL side like ordinary other properties. And they are
/hets/utils/el/
H A Dcasl-indent.el209 (defvar casl-indent-off-side-keywords-re
587 ;; loop on all parts separated by off-side-keywords
588 (while (re-search-forward casl-indent-off-side-keywords-re line-end t)
602 (if (< line-start beg-match) ; if off-side-keyword at the start
/hets/CASL/Termination/
H A DAProVE.jarMETA-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...

Completed in 16 milliseconds