changeset 45692 | d2567e55af83 |
parent 44883 | a7f9c97378b3 |
child 45994 | 38a46e029784 |
--- a/src/HOL/Library/Saturated.thy Wed Nov 30 12:09:29 2011 +0100 +++ b/src/HOL/Library/Saturated.thy Wed Nov 30 16:03:18 2011 +0100 @@ -1,6 +1,8 @@ -(* Author: Brian Huffman *) -(* Author: Peter Gammie *) -(* Author: Florian Haftmann *) +(* Title: HOL/Library/Saturated.thy + Author: Brian Huffman + Author: Peter Gammie + Author: Florian Haftmann +*) header {* Saturated arithmetic *}