src/LCF/ex/Ex3.ML

--- a/src/LCF/ex/Ex3.ML	Mon Oct 17 23:10:15 2005 +0200
+++ b/src/LCF/ex/Ex3.ML	Mon Oct 17 23:10:16 2005 +0200
@@ -1,5 +1,5 @@
 
-simpset_ref() := LCF_ss;
+(* $Id$ *)
 
 Addsimps [p_strict,p_s];