changeset 1139 | 993e475e70e2 |
parent 1050 | 0c36c6a52a1d |
child 1151 | c820b3cc3df0 |
--- a/src/HOL/IOA/ABP/Sender.thy Wed May 31 10:45:00 1995 +0200 +++ b/src/HOL/IOA/ABP/Sender.thy Wed May 31 10:46:46 1995 +0200 @@ -1,7 +1,7 @@ -(* Title: HOL/IOA/ABP/Sender.thy +(* Title: HOL/IOA/example/Sender.thy ID: $Id$ Author: Tobias Nipkow & Konrad Slind - Copyright 1995 TU Muenchen + Copyright 1994 TU Muenchen The implementation: sender *)