src/HOL/Tools/ATP/modUnix.ML
2005-04-21 paulson 2005-04-21 added hearder lines and deleted some redundant material
2005-04-20 quigley 2005-04-20 Corrected the problem with the ATP directory.
2005-04-12 paulson 2005-04-12 tweaks mainly to achieve sml/nj compatibility
2005-03-31 quigley 2005-03-31 *** empty log message ***