src/HOL/Library/Lattice_Constructions.thy
changeset 62390 842917225d56
parent 60679 ade12ef2773c
     1.1 --- a/src/HOL/Library/Lattice_Constructions.thy	Tue Feb 23 15:37:18 2016 +0100
     1.2 +++ b/src/HOL/Library/Lattice_Constructions.thy	Tue Feb 23 16:25:08 2016 +0100
     1.3 @@ -485,4 +485,4 @@
     1.4  
     1.5  end
     1.6  
     1.7 -end
     1.8 \ No newline at end of file
     1.9 +end