Searched +refs:load +refs:spec (Results 1 - 3 of 3) sorted by relevance

/hets/doc/
H A DUserGuideCommonLogic.tex35 {hyperref} %% do not load more packages after this line!!
291 \begin{lstlisting}[float,label={fig:lang},caption={Syntax of a simple subset of the heterogeneous specification language. \texttt{BASIC-SPEC} and \texttt{SYMBOL-MAP} have a logic specific syntax, while \texttt{ID} stands for some form of identifiers.},basicstyle=\ttfamily\small,morecomment={[l]{\%\%\ }},morekeywords={then,with,logic,spec,end,view,to},escapeinside={<>}]
293 | SPEC then SPEC %% extension of a spec with new symbols and axioms
299 | spec ID = SPEC end %% give the name ID to SPEC
657 spec Pred =
661 spec Cat =
666 spec PetHappy =
868 \textbf{from} \textit{library} \textbf{get} \textit{spec$_1$}, \dots, \texttt{spec$_n$}
953 spec AtomlessBooleanLattic
[all...]
H A DUserGuide.tex17 {hyperref} %% do not load more packages after this line!!
197 | spec ID = SPEC end
790 spec List =
798 spec Buffer =
826 spec Factorial =
1405 specification(s) (selected with the \texttt{-n} or \texttt{--spec}
1452 \item[\texttt{-n SPECS}, \texttt{--spec=SPECS}]
/hets/OWL2/java/lib/
H A Dguava-18.0.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/com. ...

Completed in 1522 milliseconds