1994-09-13 ago updated for Isabelle94
1994-07-12 ago minor updates
1994-05-13 ago make-all-poly, make-all-nj: restored to main directory as examples
1993-12-13 ago added isabelle-users paragraph
1993-11-05 ago change of my address
1993-11-05 ago Added documenation of change_simp.
1993-10-28 ago deletion of obsolete/private files; update of README
1993-09-16 ago Initial revision