author | wenzelm |
Wed, 14 Jan 1998 10:30:01 +0100 | |
changeset 4570 | c04027ccc86e |
parent 4569 | 4fd775d5456f |
child 4571 | 6b02fc8a97f6 |
src/HOL/Prod.thy | file | annotate | diff | comparison | revisions |
1.1 --- a/src/HOL/Prod.thy Wed Jan 14 10:28:21 1998 +0100 1.2 +++ b/src/HOL/Prod.thy Wed Jan 14 10:30:01 1998 +0100 1.3 @@ -1,5 +1,5 @@ 1.4 (* Title: HOL/Prod.thy 1.5 - ID: Prod.thy,v 1.5 1994/08/19 09:04:27 lcp Exp 1.6 + ID: $Id$ 1.7 Author: Lawrence C Paulson, Cambridge University Computer Laboratory 1.8 Copyright 1992 University of Cambridge 1.9