summary |
shortlog |
changelog |
graph |
tags |
bookmarks |
branches |
files |
changeset |
file |
latest |
revisions |
annotate |
diff |
comparison |
raw |
help

src/Pure/General/seq.ML

changeset 6118 | caa439435666 |

parent 5864 | 30b6a3251813 |

child 6927 | 83759063fbbd |

equal
deleted
inserted
replaced

6117:f9aad8ccd590 | 6118:caa439435666 |
---|---|

1 (* Title: Pure/seq.ML |
1 (* Title: Pure/General/seq.ML |

2 ID: $Id$ |
2 ID: $Id$ |

3 Author: Lawrence C Paulson, Cambridge University Computer Laboratory |
3 Author: Lawrence C Paulson, Cambridge University Computer Laboratory |

4 |
4 |

5 Unbounded sequences implemented by closures. RECOMPUTES if sequence |
5 Unbounded sequences implemented by closures. RECOMPUTES if sequence |

6 is re-inspected. Memoing, using polymorphic refs, was found to be |
6 is re-inspected. Memoing, using polymorphic refs, was found to be |