Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/ide/rocqide/   (Beweissystem des Inria Version 9.1.0©)  Datei vom 15.8.2025 mit Größe 522 B image not shown  

Quelle  default_bindings_src.mli   Sprache: SML

 
val logic : string
val symbol : string
val fraction : string
val letter : string
val greek_letter : string
val asciiart : string
val equivalence : string
val order : string
val circle : string
val square : string
val triangle : string
val arrow : string
val set : string
val math : string
val space : string
val delimiter : string
val miscellanea : string
val bindings_set_1 : (string list * string * string listlist
val bindings_set_2 : (string * stringlist
val priorities : (string * int) list
val filename : string

99%


¤ Dauer der Verarbeitung: 0.6 Sekunden  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

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.