--- a/IMP/Equiv.thy Wed Aug 31 15:15:54 1994 +0200 +++ b/IMP/Equiv.thy Wed Aug 31 16:25:19 1994 +0200 @@ -1,4 +1,4 @@ -(* Title: ZF/IMP/Equiv.thy +(* Title: HOL/IMP/Equiv.thy ID: $Id$ Author: Heiko Loetzbeyer & Robert Sandner, TUM Copyright 1994 TUM