--- a/TFL/dcterm.sml Wed Sep 06 13:32:25 2000 +0200
+++ b/TFL/dcterm.sml Wed Sep 06 16:54:12 2000 +0200
@@ -1,4 +1,4 @@
-(* Title: TFL/dcterm
+(* Title: TFL/dcterm.sml
ID: $Id$
Author: Konrad Slind, Cambridge University Computer Laboratory
Copyright 1997 University of Cambridge