# HG changeset patch
# User wenzelm
# Date 1430671558 -7200
# Node ID 6a5015b096a2c45fd3ebae3fc994427618758bf6
# Parent  1f9cd721ece2bf9944b43ec1947e24d84c425e76
proper header;

diff -r 1f9cd721ece2 -r 6a5015b096a2 src/HOL/Cardinals/Bounded_Set.thy
--- a/src/HOL/Cardinals/Bounded_Set.thy	Sun May 03 18:13:15 2015 +0200
+++ b/src/HOL/Cardinals/Bounded_Set.thy	Sun May 03 18:45:58 2015 +0200
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Cardinals/Boundes_Set.thy
+(*  Title:      HOL/Cardinals/Bounded_Set.thy
     Author:     Dmitriy Traytel, TU Muenchen
     Copyright   2015