# HG changeset patch
# User kuncar
# Date 1389196803 -3600
# Node ID 9e632948ed568932a2532cee07da27f602c177aa
# Parent  1c000fa0fdf503bf6ead06e27b750103e3fd93ec
typo

diff -r 1c000fa0fdf5 -r 9e632948ed56 src/HOL/Tools/Lifting/lifting_def.ML
--- a/src/HOL/Tools/Lifting/lifting_def.ML	Wed Jan 08 16:59:57 2014 +0100
+++ b/src/HOL/Tools/Lifting/lifting_def.ML	Wed Jan 08 17:00:03 2014 +0100
@@ -55,7 +55,7 @@
   transfer_rule - of the form T t f
   parametric_transfer_rule - of the form par_R t' t
   
-  Result: par_T t' f, after substituing op= for relations in par_T that relate
+  Result: par_T t' f, after substituing op= for relations in par_R that relate
     a type constructor to the same type constructor, it is a merge of (par_R' OO T) t' f
     using Lifting_Term.merge_transfer_relations
 *)