--- a/TFL/rules.ML Thu Jan 04 19:39:53 2001 +0100
+++ b/TFL/rules.ML Thu Jan 04 19:41:13 2001 +0100
@@ -1,4 +1,4 @@
-(* Title: TFL/rules.sml
+(* Title: TFL/rules.ML
ID: $Id$
Author: Konrad Slind, Cambridge University Computer Laboratory
Copyright 1997 University of Cambridge