changeset 41959 | b460124855b8 |
parent 39302 | d7728f65b353 |
child 51414 | 587f493447d9 |
--- a/src/HOL/Library/Nat_Bijection.thy Sun Mar 13 22:24:10 2011 +0100 +++ b/src/HOL/Library/Nat_Bijection.thy Sun Mar 13 22:55:50 2011 +0100 @@ -1,4 +1,4 @@ -(* Title: HOL/Nat_Bijection.thy +(* Title: HOL/Library/Nat_Bijection.thy Author: Brian Huffman Author: Florian Haftmann Author: Stefan Richter