src/Pure/sequence.ML
1996-02-16 paulson 1996-02-16 Elimination of fully-functorial style. Type tactic changed to a type abbrevation (from a datatype). Constructor tactic and function apply deleted.
1996-01-29 clasohm 1996-01-29 inserted tabs again
1996-01-29 clasohm 1996-01-29 removed tabs
1994-11-21 lcp 1994-11-21 Pure/sequence: added comment explaining that memoing sequences were found to be much slower (due to overheads) than the sequences currently used.
1994-10-31 lcp 1994-10-31 Pure/sequence/hd,tl: new
1993-09-16 clasohm 1993-09-16 Initial revision