Searched defs:Terms (Results 1 - 3 of 3) sorted by relevance
| /hets/doc/ | ||
| H A D | hs2isa.tex | 441 \section{Translation of Function Definitions and Terms} 443 Terms of built-in type are translated using Isabelle/HOLCF-defined lifting function 772 \noindent Terms 1237 \noindent Terms 1294 \noindent Terms 1344 \noindent Terms |
| /hets/HasCASL/doc/ | ||
| H A D | StaticAna.tex | 198 \subsection{Terms and formulas} |
| /hets/CASL/Termination/ | ||
| H A D | AProVE.jar | META-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ... |
Completed in 16 milliseconds