src/HOL/Library/Finite_Map.thy
changeset 64267 b9a1486e79be
parent 64181 4d1d2de432fa
child 66267 04b626416eae
     1.1 --- a/src/HOL/Library/Finite_Map.thy	Sun Oct 16 22:43:51 2016 +0200
     1.2 +++ b/src/HOL/Library/Finite_Map.thy	Mon Oct 17 11:46:22 2016 +0200
     1.3 @@ -831,4 +831,4 @@
     1.4  lifting_update fmap.lifting
     1.5  lifting_forget fmap.lifting
     1.6  
     1.7 -end
     1.8 \ No newline at end of file
     1.9 +end