# 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