src/HOL/Decision_Procs/Parametric_Ferrante_Rackoff.thy
changeset 44013 5cfc1c36ae97
parent 42814 5af15f1e2ef6
child 44064 5bce8ff0d9ae
     1.1 --- a/src/HOL/Decision_Procs/Parametric_Ferrante_Rackoff.thy	Tue Aug 02 10:03:14 2011 +0200
     1.2 +++ b/src/HOL/Decision_Procs/Parametric_Ferrante_Rackoff.thy	Tue Aug 02 10:36:50 2011 +0200
     1.3 @@ -6,7 +6,7 @@
     1.4  
     1.5  theory Parametric_Ferrante_Rackoff
     1.6  imports Reflected_Multivariate_Polynomial Dense_Linear_Order DP_Library
     1.7 -  "~~/src/HOL/Library/Efficient_Nat"
     1.8 +  "~~/src/HOL/Library/Efficient_Nat" "~~/src/HOL/Library/Old_Recdef"
     1.9  begin
    1.10  
    1.11  subsection {* Terms *}