changeset 37678 | 0040bafffdef |
parent 37234 | 95bfc649fe19 |
1.1 --- a/src/HOL/Lambda/WeakNorm.thy Thu Jul 01 16:54:42 2010 +0200 1.2 +++ b/src/HOL/Lambda/WeakNorm.thy Thu Jul 01 16:54:44 2010 +0200 1.3 @@ -349,7 +349,7 @@ 1.4 1.5 end 1.6 1.7 -instantiation * :: (default, default) default 1.8 +instantiation prod :: (default, default) default 1.9 begin 1.10 1.11 definition "default = (default, default)"