fixed comment
authorlcp
Thu Jun 29 16:50:14 1995 +0200 (1995-06-29)
changeset 1171e4d6b42be73a
parent 1170 39119c4c7bac
child 1172 ab725b698cb2
fixed comment
src/ZF/ex/BT.thy
     1.1 --- a/src/ZF/ex/BT.thy	Thu Jun 29 16:39:24 1995 +0200
     1.2 +++ b/src/ZF/ex/BT.thy	Thu Jun 29 16:50:14 1995 +0200
     1.3 @@ -1,4 +1,4 @@
     1.4 -(*  Title: 	ZF/ex/bt-fn.thy
     1.5 +(*  Title: 	ZF/ex/BT.thy
     1.6      ID:         $Id$
     1.7      Author: 	Lawrence C Paulson, Cambridge University Computer Laboratory
     1.8      Copyright   1992  University of Cambridge