1(* Title: HOL/HOLCF/IOA/ABP/Action.thy 2 Author: Olaf M��ller 3*) 4 5section \<open>The set of all actions of the system\<close> 6 7theory Action 8imports Packet 9begin 10 11datatype 'm action = 12 Next | S_msg 'm | R_msg 'm 13 | S_pkt "'m packet" | R_pkt "'m packet" 14 | S_ack bool | R_ack bool 15 16end 17