changeset 52590 | 02713cd2c2cd |
parent 52555 | 6811291d1869 |
child 54495 | 237d5be57277 |
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_reconstructor.ML Thu Jul 11 11:40:21 2013 +0200 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_reconstructor.ML Thu Jul 11 13:33:19 2013 +0200 @@ -1,4 +1,4 @@ -(* Title: HOL/Tools/Sledgehammer/sledgehammer_reconstruct.ML +(* Title: HOL/Tools/Sledgehammer/sledgehammer_reconstructor.ML Author: Jasmin Blanchette, TU Muenchen Author: Steffen Juilf Smolka, TU Muenchen