changeset 50222 | 40e3c3be6bca |
parent 50220 | 90280d85cd03 |
child 50388 | a5b666e0c3c2 |
--- a/src/HOL/Tools/Sledgehammer/MaSh/src/readData.py Mon Nov 26 12:13:37 2012 +0100 +++ b/src/HOL/Tools/Sledgehammer/MaSh/src/readData.py Mon Nov 26 13:35:05 2012 +0100 @@ -1,3 +1,9 @@ +# Title: HOL/Tools/Sledgehammer/MaSh/src/readData.py +# Author: Daniel Kuehlwein, ICIS, Radboud University Nijmegen +# Copyright 2012 +# +# All functions to read the Isabelle output. + ''' All functions to read the Isabelle output.