changeset 1476 | 608483c2122a |
parent 924 | 806721cfbf46 |
--- a/src/HOL/IMP/Equiv.thy Mon Feb 05 21:27:16 1996 +0100 +++ b/src/HOL/IMP/Equiv.thy Mon Feb 05 21:29:06 1996 +0100 @@ -1,6 +1,6 @@ -(* Title: HOL/IMP/Equiv.thy +(* Title: HOL/IMP/Equiv.thy ID: $Id$ - Author: Heiko Loetzbeyer & Robert Sandner, TUM + Author: Heiko Loetzbeyer & Robert Sandner, TUM Copyright 1994 TUM *)