changeset 66453 | cc19f7ca2ed6 |
parent 61343 | 5b5656a63bd6 |
child 69568 | de09a7261120 |
--- a/src/HOL/ex/Simps_Case_Conv_Examples.thy Fri Aug 18 13:55:05 2017 +0200 +++ b/src/HOL/ex/Simps_Case_Conv_Examples.thy Fri Aug 18 20:47:47 2017 +0200 @@ -1,5 +1,5 @@ theory Simps_Case_Conv_Examples imports - "~~/src/HOL/Library/Simps_Case_Conv" + "HOL-Library.Simps_Case_Conv" begin section \<open>Tests for the Simps<->Case conversion tools\<close>