README
1994-05-13 lcp 1994-05-13 make-all-poly, make-all-nj: restored to main directory as examples README: modified accordingly
1993-12-13 lcp 1993-12-13 added isabelle-users paragraph
1993-11-05 nipkow 1993-11-05 change of my address
1993-11-05 lcp 1993-11-05 Added documenation of change_simp.
1993-10-28 lcp 1993-10-28 deletion of obsolete/private files; update of README
1993-09-16 clasohm 1993-09-16 Initial revision