# HG changeset patch
# User wenzelm
# Date 1236889744 -3600
# Node ID f3421e8379aba9d6e89904725050d7d62de0879b
# Parent  fc58fb1f83ad35be82237c2b44142f7a8ddd2467
keep dead code fresh;

diff -r fc58fb1f83ad -r f3421e8379ab src/HOL/FunDef.thy
--- a/src/HOL/FunDef.thy	Thu Mar 12 16:13:14 2009 +0100
+++ b/src/HOL/FunDef.thy	Thu Mar 12 21:29:04 2009 +0100
@@ -314,13 +314,11 @@
 use "Tools/function_package/scnp_reconstruct.ML"
 
 setup {* ScnpReconstruct.setup *}
-(*
-setup {*
+
+ML_val -- "setup inactive"
+{*
   Context.theory_map (FundefCommon.set_termination_prover (ScnpReconstruct.decomp_scnp 
   [ScnpSolve.MAX, ScnpSolve.MIN, ScnpSolve.MS])) 
 *}
-*)
-
-
 
 end