# HG changeset patch
# User haftmann
# Date 1441570477 -7200
# Node ID af67ed04da647357865bb10720caa0404f5f88af
# Parent  efe8b18306b7c0f89c420add457a3df0b4fabd86
dropped whitespace leftover from b57df8eecad6

diff -r efe8b18306b7 -r af67ed04da64 src/HOL/Product_Type.thy
--- a/src/HOL/Product_Type.thy	Sun Sep 06 21:55:13 2015 +0200
+++ b/src/HOL/Product_Type.thy	Sun Sep 06 22:14:37 2015 +0200
@@ -307,11 +307,6 @@
   "%(x, y, zs). b" == "CONST case_prod (%x (y, zs). b)"
   "%(x, y). b" == "CONST case_prod (%x y. b)"
   "_abs (CONST Pair x y) t" => "%(x, y). t"
-
-
-
-
-
   -- \<open>The last rule accommodates tuples in `case C ... (x,y) ... => ...'
      The (x,y) is parsed as `Pair x y' because it is logic, not pttrn\<close>