src/HOL/Tools/res_reconstruct.ML
2007-01-04 paulson 2007-01-04 improvements to proof reconstruction. Some files loaded in a different order
2007-01-03 paulson 2007-01-03 Improvements to proof reconstruction. Now "fixes" is inserted
2007-01-03 paulson 2007-01-03 Contains old Tools/ATP/AtpCommunication.ML, plus proof reconstruction