chapter Tools
session Tools = Pure +
theories
Code_Generator
session Spec_Check in Spec_Check = Pure +
theories
Spec_Check
Examples
session SML in SML = Pure +
theories
Examples
session Haskell in Haskell = Pure +
theories
Haskell
theories [condition = ISABELLE_GHC_STACK]
Test
¤ Dauer der Verarbeitung: 0.0 Sekunden
(vorverarbeitet)
¤
|
schauen Sie vor die Tür
Fenster
Die Firma ist wie angegeben erreichbar.
Die farbliche Syntaxdarstellung ist noch experimentell.
|