lib/Tools/findlogics
1997-04-22 wenzelm 1997-04-22 removed -norc;
1997-04-17 wenzelm 1997-04-17 eliminated PLATFORM;
1997-04-11 wenzelm 1997-04-11 fixed { ... } shell syntax to accomodate bash 2.x;
1997-02-06 wenzelm 1997-02-06 removed getplatform;
1996-12-09 wenzelm 1996-12-09 findlogics: collect heap names from ISABELLE_PATH;