Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/HOL/Hoare/document/   (Beweissystem Isabelle Version 2025-1©)  Datei vom 16.11.2025 mit Größe 968 B image not shown  

Quelle  ctba3.tbl   Sprache: unbekannt

 
MBT("Alt(3)",2,
"(no info text)",
[1..3],
[0,0,0],
[],
[],
[],
0,
0,
0,
rec(CharacterParameters:=[[1,[[1,1,1],'0']],[1,[[2,1],'+']],[1,[[2,1],'-']]])
);

[ Dauer der Verarbeitung: 0.14 Sekunden  (vorverarbeitet)  ]