changeset 66453 | cc19f7ca2ed6 |
parent 64267 | b9a1486e79be |
child 67399 | eab6ce8368fa |
--- a/src/HOL/Probability/PMF_Impl.thy Fri Aug 18 13:55:05 2017 +0200 +++ b/src/HOL/Probability/PMF_Impl.thy Fri Aug 18 20:47:47 2017 +0200 @@ -8,7 +8,7 @@ section \<open>Code generation for PMFs\<close> theory PMF_Impl -imports Probability_Mass_Function "~~/src/HOL/Library/AList_Mapping" +imports Probability_Mass_Function "HOL-Library.AList_Mapping" begin subsection \<open>General code generation setup\<close>