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

/hets/doc/
H A Dhs2isa.tex153 \section{Translation of Types}
188 report, ``Predefined Types and Classes'', in section 6.2. We quote
229 \noindent Types
703 \noindent Types
1196 \noindent Types
1285 \noindent Types, Type classes, Contexts, Type schemas, Simple patterns,
/hets/HasCASL/doc/
H A DStaticAna.tex94 \subsection{Types}
0 \\documentclass{article} subsubsection
/hets/OWL2/java/lib/
H A Dguava-18.0.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/com. ...

Completed in 473 milliseconds