changeset 44013 | 5cfc1c36ae97 |
parent 42284 | 326f57825e1a |
child 44121 | 44adaa6db327 |
--- a/src/HOL/Decision_Procs/Cooper.thy Tue Aug 02 10:03:14 2011 +0200 +++ b/src/HOL/Decision_Procs/Cooper.thy Tue Aug 02 10:36:50 2011 +0200 @@ -3,7 +3,7 @@ *) theory Cooper -imports Complex_Main "~~/src/HOL/Library/Efficient_Nat" +imports Complex_Main "~~/src/HOL/Library/Efficient_Nat" "~~/src/HOL/Library/Old_Recdef" uses ("cooper_tac.ML") begin