src/HOL/Conditionally_Complete_Lattices.thy
changeset 52265 bb907eba5902
parent 51775 408d937c9486
child 53215 5e47c31c6f7c
     1.1 --- a/src/HOL/Conditionally_Complete_Lattices.thy	Thu May 30 22:30:38 2013 +0200
     1.2 +++ b/src/HOL/Conditionally_Complete_Lattices.thy	Thu May 30 23:29:33 2013 +0200
     1.3 @@ -1,4 +1,4 @@
     1.4 -(*  Title:      HOL/Conditional_Complete_Lattices.thy
     1.5 +(*  Title:      HOL/Conditionally_Complete_Lattices.thy
     1.6      Author:     Amine Chaieb and L C Paulson, University of Cambridge
     1.7      Author:     Johannes Hölzl, TU München
     1.8  *)