# HG changeset patch
# User kuncar
# Date 1368440004 -7200
# Node ID 2e3f9e72b8c4021ab777fd1c4726e57a0369ddcc
# Parent  ae755fd6c8835752cddb9532f8c2a02db7f778cf
publish a private function

diff -r ae755fd6c883 -r 2e3f9e72b8c4 src/HOL/Tools/transfer.ML
--- a/src/HOL/Tools/transfer.ML	Mon May 13 06:50:37 2013 +0200
+++ b/src/HOL/Tools/transfer.ML	Mon May 13 12:13:24 2013 +0200
@@ -9,6 +9,7 @@
   val prep_conv: conv
   val get_relator_eq: Proof.context -> thm list
   val get_sym_relator_eq: Proof.context -> thm list
+  val get_relator_eq_raw: Proof.context -> thm list
   val get_transfer_raw: Proof.context -> thm list
   val transfer_add: attribute
   val transfer_del: attribute