changeset 16 | 0b033d50ca1c |
parent 0 | a5a9c433f639 |
--- a/src/ZF/ex/contract0.ML Thu Sep 30 10:26:38 1993 +0100 +++ b/src/ZF/ex/contract0.ML Thu Sep 30 10:54:01 1993 +0100 @@ -1,7 +1,7 @@ (* Title: ZF/ex/contract.ML ID: $Id$ - Author: Tobias Nipkow & Lawrence C Paulson - Copyright 1992 University of Cambridge + Author: Lawrence C Paulson + Copyright 1993 University of Cambridge For ex/contract.thy. *)