changeset 39958 | 88c9aa5666de |
parent 39953 | aa54f347e5e2 |
child 39964 | 8ca95d819c7c |
--- a/src/HOL/Tools/Metis/metis_reconstruct.ML Tue Oct 05 12:06:08 2010 +0200 +++ b/src/HOL/Tools/Metis/metis_reconstruct.ML Tue Oct 05 12:50:45 2010 +0200 @@ -1,4 +1,4 @@ -(* Title: HOL/Tools/Sledgehammer/metis_reconstruct.ML +(* Title: HOL/Tools/Metis/metis_reconstruct.ML Author: Kong W. Susanto, Cambridge University Computer Laboratory Author: Lawrence C. Paulson, Cambridge University Computer Laboratory Author: Jasmin Blanchette, TU Muenchen