src/HOL/Tools/ATP/atp_proof_redirect.ML
2012-05-16 blanchet 2012-05-16 more helpful error message
2012-05-15 blanchet 2012-05-15 made SML/NJ happy
2012-05-14 blanchet 2012-05-14 repaired snag in debug function
2012-05-14 blanchet 2012-05-14 added debugging function
2012-01-23 blanchet 2012-01-23 renamed two files to make room for a new file