--- a/src/ZF/ex/BT.thy Thu Jun 29 16:39:24 1995 +0200 +++ b/src/ZF/ex/BT.thy Thu Jun 29 16:50:14 1995 +0200 @@ -1,4 +1,4 @@ -(* Title: ZF/ex/bt-fn.thy +(* Title: ZF/ex/BT.thy ID: $Id$ Author: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 1992 University of Cambridge