Adapted to new datatype package.
(* Title: HOLCF/IOA/ABP/Action.thy
ID: $Id$
Author: Olaf Mueller
Copyright 1995 TU Muenchen
The set of all actions of the system
*)
Action = Packet + Datatype +
datatype 'm action = Next | S_msg ('m) | R_msg ('m)
| S_pkt ('m packet) | R_pkt ('m packet)
| S_ack (bool) | R_ack (bool)
end