src/HOL/Algebra/Bij.thy

--- a/src/HOL/Algebra/Bij.thy	Sun Mar 21 16:51:37 2010 +0100
+++ b/src/HOL/Algebra/Bij.thy	Sun Mar 21 17:12:31 2010 +0100
@@ -2,8 +2,9 @@
     Author:     Florian Kammueller, with new proofs by L C Paulson
 *)
 
-theory Bij imports Group begin
-
+theory Bij
+imports Group
+begin
 
 section {* Bijections of a Set, Permutation and Automorphism Groups *}