src/Pure/General/seq.ML
1999-01-13 wenzelm 1999-01-13 fixed titles;
1998-11-14 wenzelm 1998-11-14 prefixed op;
1998-09-25 wenzelm 1998-09-25 added REPEAT1;
1998-06-10 wenzelm 1998-06-10 moved seq.ML to General/seq.ML;