# HG changeset patch
# User haftmann
# Date 1411971203 -7200
# Node ID 66ddc5ad4f6335665e9c7f6252f94dd5b358ccd2
# Parent  d1f6a38f94159341171c22226b586e185a431e57
corrected white-space accident

diff -r d1f6a38f9415 -r 66ddc5ad4f63 src/HOL/Product_Type.thy
--- a/src/HOL/Product_Type.thy	Sun Sep 28 20:27:47 2014 +0200
+++ b/src/HOL/Product_Type.thy	Mon Sep 29 08:13:23 2014 +0200
@@ -1,4 +1,4 @@
- (*  Title:      HOL/Product_Type.thy
+(*  Title:      HOL/Product_Type.thy
     Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     Copyright   1992  University of Cambridge
 *)