changeset 66453 | cc19f7ca2ed6 |
parent 61955 | e96292f32c3c |
child 68660 | 4ce18f389f53 |
--- a/src/HOL/Library/Lattice_Syntax.thy Fri Aug 18 13:55:05 2017 +0200 +++ b/src/HOL/Library/Lattice_Syntax.thy Fri Aug 18 20:47:47 2017 +0200 @@ -3,7 +3,7 @@ section \<open>Pretty syntax for lattice operations\<close> theory Lattice_Syntax -imports Complete_Lattices +imports HOL.Complete_Lattices begin notation