src/Pure/seq.ML
1997-11-22 wenzelm 1997-11-22 made SML/NJ happy;
1997-11-21 wenzelm 1997-11-21 changed Sequence interface (now Seq, in seq.ML);