|
taylor_help[T: TYPE FROM real]: THEORY
BEGIN
between(aa,bb:T): TYPE = {x: T | (aa < bb IMPLIES aa < x AND x < bb) AND
(bb < aa IMPLIES bb < x AND x < aa) AND
(aa = bb IMPLIES x = aa)}
END taylor_help
¤ Dauer der Verarbeitung: 0.19 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
