Lines Matching defs:supported
182 currently supported logics and logic translations (the latter are also
232 \section{Logics supported by Hets}
235 \cite{GoguenBurstall92}) is currently supported by \Hets:
241 \caption{Graph of logics currently supported by \Hets. The more an
242 ellipse is filled with green, the more stable is the implementation of the logic. Blue indicates a prover-supported logic.}
463 Various logics are supported with proof tools. Proof support for the
465 prover-supported logic.
480 \section{Logic translations supported
497 \caption{Graph of most important sublogics currently supported by \Hets,
503 supported by \Hets:
630 Depending on your application further tools are supported and may be
1294 currently supported by \Hets. The Edit menu of a logic graph window has the
1324 supported.)
1416 is not supported, yet.)