src/HOLCF/IOA/meta_theory/Seq.ML

--- a/src/HOLCF/IOA/meta_theory/Seq.ML	Tue May 27 14:38:49 1997 +0200
+++ b/src/HOLCF/IOA/meta_theory/Seq.ML	Tue May 27 15:07:02 1997 +0200
@@ -33,7 +33,7 @@
 
 bind_thm ("smap_unfold", fix_prover2 thy smap_def 
    "smap = (LAM f tr. case tr of  \
- \                         nil   => nil \
+ \                         nil  => nil \
  \                       | x##xs => f`x ## smap`f`xs)");
 
 goal thy "smap`f`nil=nil";