lib/Tools/fixdatatype
2000-11-22 wenzelm 2000-11-22 tuned;
2000-09-01 wenzelm 2000-09-01 GPLed; more robust handling of spaces in args / file names;
1999-01-12 wenzelm 1999-01-12 configure AUTO_BASH, AUTO_PERL;
1998-07-30 berghofe 1998-07-30 Script that adapts theories and proof scripts to new datatype package.