src/HOL/Tools/ATP/etc/settings
2010-07-28 blanchet 2010-07-28 renamed environment variable
2010-07-28 blanchet 2010-07-28 rename directory