changeset 66453 | cc19f7ca2ed6 |
parent 65582 | a1bc1b020cf2 |
child 69529 | 4ab9657b3257 |
--- a/src/HOL/Decision_Procs/Approximation.thy Fri Aug 18 13:55:05 2017 +0200 +++ b/src/HOL/Decision_Procs/Approximation.thy Fri Aug 18 20:47:47 2017 +0200 @@ -4,7 +4,7 @@ theory Approximation imports Complex_Main - "~~/src/HOL/Library/Code_Target_Numeral" + "HOL-Library.Code_Target_Numeral" Approximation_Bounds keywords "approximate" :: diag begin