src/HOL/Algebra/Bij.thy
changeset 14706 71590b7733b7
parent 14666 65f8680c3f16
child 14761 28b5eb4a867f
     1.1 --- a/src/HOL/Algebra/Bij.thy	Thu May 06 12:43:00 2004 +0200
     1.2 +++ b/src/HOL/Algebra/Bij.thy	Thu May 06 14:14:18 2004 +0200
     1.3 @@ -1,4 +1,4 @@
     1.4 -(*  Title:      HOL/Algebra/Bij
     1.5 +(*  Title:      HOL/Algebra/Bij.thy
     1.6      ID:         $Id$
     1.7      Author:     Florian Kammueller, with new proofs by L C Paulson
     1.8  *)