src/HOL/Library/DAList.thy
changeset 55565 f663fc1e653b
parent 51143 0a2371e7ced3
child 58806 bb5ab5fce93a
     1.1 --- a/src/HOL/Library/DAList.thy	Tue Feb 18 23:03:49 2014 +0100
     1.2 +++ b/src/HOL/Library/DAList.thy	Tue Feb 18 23:03:50 2014 +0100
     1.3 @@ -39,7 +39,7 @@
     1.4  
     1.5  subsection {* Primitive operations *}
     1.6  
     1.7 -lift_definition lookup :: "('key, 'value) alist \<Rightarrow> 'key \<Rightarrow> 'value option" is map_of  ..
     1.8 +lift_definition lookup :: "('key, 'value) alist \<Rightarrow> 'key \<Rightarrow> 'value option" is map_of  .
     1.9  
    1.10  lift_definition empty :: "('key, 'value) alist" is "[]" by simp
    1.11