--- a/src/CCL/Wfd.ML Fri Jan 14 08:09:07 1994 +0100 +++ b/src/CCL/Wfd.ML Fri Jan 14 12:36:30 1994 +0100 @@ -1,7 +1,7 @@ -(* Title: CCL/wf +(* Title: CCL/wfd.ML ID: $Id$ -For wf.thy. +For wfd.thy. Based on Titles: ZF/wf.ML and HOL/ex/lex-prod