src/HOL/Library/Nat_Bijection.thy

-(*  Title:      HOL/Nat_Bijection.thy
+(*  Title:      HOL/Library/Nat_Bijection.thy
     Author:     Brian Huffman
     Author:     Florian Haftmann
     Author:     Stefan Richter
     Author:     Tobias Nipkow
     Author:     Alexander Krauss