| products/Sources/formale Sprachen/JAVA/Netbeans/enterprise/jakartaee8.api/nbproject/ (Netbeans IDE Version 28©) Datei vom 3.10.2025 mit Größe 1 kB |
|
Impressum Action.thy Sprache: Isabelle |
|||||||||||||||
|
(* Title: HOL/HOLCF/IOA/Storage/Action.thy Author: Olaf Müller *) section ‹The set of all actions of the system› theory Action imports Main begin datatype action = New | Loc nat | Free nat lemma [cong]: "∧x. x = y ==> case_action a b c x = case_action a b c y" by simp end
¤ Dauer der Verarbeitung: 0.9 Sekunden (vorverarbeitet am 2026-09-29) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-10-10