ANNOUNCE
2005-09-28 ago adjusted www links
2005-09-28 ago revert 'defs' advertisement;
2005-09-27 ago more details about incomplete 'defs';
2005-09-21 ago tuned;
2005-09-21 ago updated for Isabelle2005;
2004-04-19 ago add HOL4
2004-04-17 ago added sydney mirror
2004-04-17 ago 2003 -> 2004
2003-05-12 ago *** empty log message ***
2003-05-12 ago tweaked
2003-05-12 ago *** empty log message ***
2002-03-08 ago drop Stanford mirror;
2002-03-07 ago tuned;
2002-03-04 ago tuned;
2002-03-03 ago MicroJava news
2002-03-01 ago tuned;
2002-03-01 ago Completed annonce of HoareParallel
2002-03-01 ago tuned;
2002-03-01 ago lcp's try
2002-02-28 ago more stuff;
2002-02-27 ago tuned;
2002-02-24 ago tuned;
2001-09-27 ago prepared for Isabelle2001;
2001-02-13 ago tuned;
2001-02-13 ago swapped Fleuriot and Paulson
2001-02-05 ago tuned;
2000-10-06 ago final tuning;
2000-10-06 ago tuned;
2000-10-06 ago tuned;
2000-10-06 ago tuned;
2000-10-06 ago tuned;
2000-10-06 ago draft for 99-1;
2000-09-11 ago template;