Searched refs:translations (Results 1 - 6 of 6) sorted by relevance

/hets/FreeCAD/specifications/
H A Dgoals.tex60 the transformation by rotations and translations as well as for
/hets/Isabelle/export/
H A Dparser.ml308 ("translations",Scan.repeat1 trans_line
/hets/doc/
H A DUserGuideCommonLogic.tex211 as logic translations. The \Hets motherboard already has plugged in
273 theories, conservative extensions, translations of theories
274 along logic translations, etc.
286 currently supported logics and logic translations (the latter are also
398 other logics can be obtained by using logic translations to a
422 \section{Logic translations supported by Hets}
425 Logic translations (formalised as institution comorphisms
432 In more detail, the following list of logic translations involving Common Logic
462 For further information on logic translations supported by \Hets, see the \Hets
644 for explicit translations betwee
[all...]
H A Dcollected_proposals.tex76 symbol mappings of translations: \KW{indexed\_by} It could be used as
H A Dhs2isa.tex24 We present partial translations of Haskell programs to Isabelle that have
59 We have implemented as functions of Hets translations of Haskell to
79 %define the two translations.
625 Concerning related work, although there have been translations of
679 about the translations can be found in \cite{Tlmm}.
H A DUserGuide.tex154 proof tools) as well as logic translations. Individual logics and
182 currently supported logics and logic translations (the latter are also
288 via logic translations.\label{fig:Languages}}
464 other logics can be obtained by using logic translations to a
480 \section{Logic translations supported
484 Logic translations (formalized as institution comorphisms
502 In more detail, the following list of logic translations is currently
777 for explicit translations between logics, see \cite{Mossakowski04}.)
1526 goals can be given via a \texttt{theorems} field and special translations by a
1527 \texttt{translation} field. The available provers and translations ca
[all...]

Completed in 31 milliseconds