Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Pure/General/   (Beweissystem der NASA Version 6.0.9©)  Datei vom 16.11.2025 mit Größe 10 kB image not shown  

Impressum taylor_help.pvs   Sprache: unbekannt

 
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


100%


[ Seitenstruktur0.26Drucken  etwas mehr zur Ethik  ]