--- a/src/Pure/General/seq.ML Fri Jul 24 11:55:34 2009 +0200
+++ b/src/Pure/General/seq.ML Fri Jul 24 12:00:02 2009 +0200
@@ -200,7 +200,7 @@
-(** sequence functions **) (*cf. Pure/tctical.ML*)
+(** sequence functions **) (*cf. Pure/tactical.ML*)
fun succeed x = single x;
fun fail _ = empty;