# HG changeset patch
# User wenzelm
# Date 1295301437 -3600
# Node ID 7d035da21e9c0df597613aca8dea59a99e2d0b30
# Parent  313b0033034a51b41f1b0877f8c5af6f368a7a9c
tuned;

diff -r 313b0033034a -r 7d035da21e9c ANNOUNCE
--- a/ANNOUNCE	Mon Jan 17 22:54:08 2011 +0100
+++ b/ANNOUNCE	Mon Jan 17 22:57:17 2011 +0100
@@ -18,7 +18,7 @@
   Sledgehammer, SMT integration.
 
 * HOL: various additions to theory library, including HOL-Algebra,
-  Imperative_HOL Multivariate_Analysis, Probability.
+  Imperative_HOL, Multivariate_Analysis, Probability.
 
 * HOLCF: reorganization of library and related tools.