src/Pure/General/seq.ML
Fri, 25 Sep 1998 12:01:47 +0200 wenzelm added REPEAT1;
Wed, 10 Jun 1998 11:52:59 +0200 wenzelm moved seq.ML to General/seq.ML;
less more (0) tip