# HG changeset patch
# User wenzelm
# Date 1175638272 -7200
# Node ID 0a995d40160a0bc8fb0faac02ebd601b7304c8ed
# Parent  d91b4dd651d6c1bfa98ad429ce9c3f67c2845b6b
removed dead code;

diff -r d91b4dd651d6 -r 0a995d40160a src/HOLCF/fixrec_package.ML
--- a/src/HOLCF/fixrec_package.ML	Wed Apr 04 00:11:10 2007 +0200
+++ b/src/HOLCF/fixrec_package.ML	Wed Apr 04 00:11:12 2007 +0200
@@ -38,11 +38,7 @@
 
 (* splits a cterm into the right and lefthand sides of equality *)
 fun dest_eqs t = HOLogic.dest_eq (HOLogic.dest_Trueprop t);
-(*
-fun dest_eqs (Const ("==", _)$lhs$rhs) = (lhs, rhs)
-  | dest_eqs (Const ("Trueprop", _)$(Const ("op =", _)$lhs$rhs)) = (lhs,rhs)
-  | dest_eqs t = fixrec_err (Sign.string_of_term (sign_of (the_context())) t);
-*)
+
 (* similar to Thm.head_of, but for continuous application *)
 fun chead_of (Const("Cfun.Rep_CFun",_)$f$t) = chead_of f
   | chead_of u = u;