changeset 1138 | 82fd99d5a6ff |
parent 1050 | 0c36c6a52a1d |
--- a/src/HOL/IOA/ABP/Action.thy Tue May 30 11:57:27 1995 +0200 +++ b/src/HOL/IOA/ABP/Action.thy Wed May 31 10:45:00 1995 +0200 @@ -1,7 +1,7 @@ -(* Title: HOL/IOA/ABP/Action.thy +(* Title: HOL/IOA/example/Action.thy ID: $Id$ - Author: Tobias Nipkow & Olaf Mueller - Copyright 1995 TU Muenchen + Author: Tobias Nipkow & Konrad Slind + Copyright 1994 TU Muenchen The set of all actions of the system *)