src/HOL/Decision_Procs/Cooper.thy
changeset 30439 57c68b3af2ea
parent 30042 31039ee583fa
child 31715 2eb55a82acd9
equal deleted inserted replaced
30432:aad3cd70e25a 30439:57c68b3af2ea
     1 (*  Title:      HOL/Reflection/Cooper.thy
     1 (*  Title:      HOL/Decision_Procs/Cooper.thy
     2     Author:     Amine Chaieb
     2     Author:     Amine Chaieb
     3 *)
     3 *)
     4 
     4 
     5 theory Cooper
     5 theory Cooper
     6 imports Complex_Main Efficient_Nat
     6 imports Complex_Main Efficient_Nat