products/sources/formale Sprachen/Isabelle/Tools/Metis/src/   (Beweissystem Isabelle Version 2025-1©)  Datei vom 16.11.2025 mit Größe 1 kB image not shown  

Quelle  cases2.simple   Sprache: unbekannt

 
function x() ==
 cases 32:
  31 -> 34,
  others -> 42
 end

[ Dauer der Verarbeitung: 0.12 Sekunden  (vorverarbeitet)  ]