INSTALL
1997-11-20 ago removed old note;
1997-05-23 ago tuned;
1997-05-20 ago tuned;
1997-05-06 ago tuned;
1997-03-07 ago tuned;
1997-03-07 ago Isabelle installation notes;