changeset 1465 | 5d7a7e439cec |
parent 924 | 806721cfbf46 |
child 1696 | e84bff5c519b |
--- a/src/HOL/IMP/Com.ML Tue Jan 30 15:19:20 1996 +0100 +++ b/src/HOL/IMP/Com.ML Tue Jan 30 15:24:36 1996 +0100 @@ -1,6 +1,6 @@ -(* Title: HOL/IMP/Com.ML +(* Title: HOL/IMP/Com.ML ID: $Id$ - Author: Heiko Loetzbeyer & Robert Sandner, TUM + Author: Heiko Loetzbeyer & Robert Sandner, TUM Copyright 1994 TUM *)