src/Pure/sequence.ML
1994-11-21 ago Pure/sequence: added comment explaining that memoing sequences were found
1994-10-31 ago Pure/sequence/hd,tl: new
1993-09-16 ago Initial revision