src/HOL/Tools/watcher.ML
2007-08-24 paulson 2007-08-24 Returning both a "one-line" proof and a structured proof
2007-08-21 paulson 2007-08-21 "sendback" to PG for one-line proof reconstructions
2007-06-29 paulson 2007-06-29 bug fixes to proof reconstruction