# HG changeset patch # User wenzelm # Date 884770201 -3600 # Node ID c04027ccc86e22538f388bf7d7355572676c15c9 # Parent 4fd775d5456f87a02aeeb103b70d059163d652ea fixed Id; diff -r 4fd775d5456f -r c04027ccc86e src/HOL/Prod.thy --- a/src/HOL/Prod.thy Wed Jan 14 10:28:21 1998 +0100 +++ b/src/HOL/Prod.thy Wed Jan 14 10:30:01 1998 +0100 @@ -1,5 +1,5 @@ (* Title: HOL/Prod.thy - ID: Prod.thy,v 1.5 1994/08/19 09:04:27 lcp Exp + ID: $Id$ Author: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 1992 University of Cambridge