changeset 12218 | 6597093b77e7 |
parent 7958 | f531589c9fc1 |
child 13898 | 9410d2eb9563 |
--- a/src/HOLCF/IOA/ABP/Correctness.ML Thu Nov 15 23:25:01 2001 +0100 +++ b/src/HOLCF/IOA/ABP/Correctness.ML Thu Nov 15 23:25:46 2001 +0100 @@ -1,8 +1,7 @@ - (* Title: HOLCF/IOA/ABP/Correctness.ML +(* Title: HOLCF/IOA/ABP/Correctness.ML ID: $Id$ - Author: Olaf Mueller - Copyright 1995 TU Muenchen - + Author: Olaf Müller + License: GPL (GNU GENERAL PUBLIC LICENSE) *)