INSTALL
1998-08-27 wenzelm 1998-08-27 tuned;
1998-08-27 wenzelm 1998-08-27 isatool install;
1997-11-20 wenzelm 1997-11-20 removed old note;
1997-05-23 wenzelm 1997-05-23 tuned;
1997-05-20 wenzelm 1997-05-20 tuned;
1997-05-06 wenzelm 1997-05-06 tuned;
1997-03-07 wenzelm 1997-03-07 tuned;
1997-03-07 wenzelm 1997-03-07 Isabelle installation notes;