changeset 1138 | 82fd99d5a6ff |
parent 1050 | 0c36c6a52a1d |
child 1266 | 3ae9fe3c0f68 |
--- a/src/HOL/IOA/ABP/Action.ML Tue May 30 11:57:27 1995 +0200 +++ b/src/HOL/IOA/ABP/Action.ML Wed May 31 10:45:00 1995 +0200 @@ -1,7 +1,7 @@ -(* Title: HOL/IOA/ABP/Action.ML +(* Title: HOL/IOA/example/Action.ML ID: $Id$ - Author: Tobias Nipkow & Olaf Mueller - Copyright 1995 TU Muenchen + Author: Tobias Nipkow & Konrad Slind + Copyright 1994 TU Muenchen Derived rules for actions *)