summary |
shortlog |
changelog |
graph |
tags |
branches |
files |
changeset |
file |
revisions |
annotate |
diff |
raw

ANNOUNCE

changeset 41605 | 7d035da21e9c |

parent 41604 | 313b0033034a |

child 44801 | a0459c50cfc9 |

1.1 --- a/ANNOUNCE Mon Jan 17 22:54:08 2011 +0100 1.2 +++ b/ANNOUNCE Mon Jan 17 22:57:17 2011 +0100 1.3 @@ -18,7 +18,7 @@ 1.4 Sledgehammer, SMT integration. 1.5 1.6 * HOL: various additions to theory library, including HOL-Algebra, 1.7 - Imperative_HOL Multivariate_Analysis, Probability. 1.8 + Imperative_HOL, Multivariate_Analysis, Probability. 1.9 1.10 * HOLCF: reorganization of library and related tools. 1.11