proper header;
authorwenzelm
Sun May 03 18:45:58 2015 +0200 (2015-05-03)
changeset 602476a5015b096a2
parent 60246 1f9cd721ece2
child 60248 f7e4294216d2
proper header;
src/HOL/Cardinals/Bounded_Set.thy
     1.1 --- a/src/HOL/Cardinals/Bounded_Set.thy	Sun May 03 18:13:15 2015 +0200
     1.2 +++ b/src/HOL/Cardinals/Bounded_Set.thy	Sun May 03 18:45:58 2015 +0200
     1.3 @@ -1,4 +1,4 @@
     1.4 -(*  Title:      HOL/Cardinals/Boundes_Set.thy
     1.5 +(*  Title:      HOL/Cardinals/Bounded_Set.thy
     1.6      Author:     Dmitriy Traytel, TU Muenchen
     1.7      Copyright   2015
     1.8