added file headers
authorblanchet
Mon Nov 26 13:35:05 2012 +0100 (2012-11-26)
changeset 5022240e3c3be6bca
parent 50221 355aaa57ac39
child 50223 bcbdf2179880
added file headers
CONTRIBUTORS
src/HOL/Tools/Sledgehammer/MaSh/src/argparse.py
src/HOL/Tools/Sledgehammer/MaSh/src/compareStats.py
src/HOL/Tools/Sledgehammer/MaSh/src/dictionaries.py
src/HOL/Tools/Sledgehammer/MaSh/src/mash.py
src/HOL/Tools/Sledgehammer/MaSh/src/naiveBayes.py
src/HOL/Tools/Sledgehammer/MaSh/src/predefined.py
src/HOL/Tools/Sledgehammer/MaSh/src/readData.py
src/HOL/Tools/Sledgehammer/MaSh/src/snow.py
src/HOL/Tools/Sledgehammer/MaSh/src/stats.py
     1.1 --- a/CONTRIBUTORS	Mon Nov 26 12:13:37 2012 +0100
     1.2 +++ b/CONTRIBUTORS	Mon Nov 26 13:35:05 2012 +0100
     1.3 @@ -9,6 +9,10 @@
     1.4  * 2012: Makarius Wenzel, Université Paris-Sud / LRI
     1.5    Improvements of Isabelle/Scala and Isabelle/jEdit Prover IDE.
     1.6  
     1.7 +* Fall 2012: Daniel Kuehlwein, ICIS, Radboud University Nijmegen
     1.8 +  Jasmin Blanchette, TUM
     1.9 +  Implemented Machine Learning for Sledgehammer (MaSh).
    1.10 +
    1.11  * Fall 2012: Steffen Smolka, TUM
    1.12    Various improvements to Sledgehammer's Isar proof generator, including
    1.13    a smart type annotation algorithm and proof shrinking.
     2.1 --- a/src/HOL/Tools/Sledgehammer/MaSh/src/argparse.py	Mon Nov 26 12:13:37 2012 +0100
     2.2 +++ b/src/HOL/Tools/Sledgehammer/MaSh/src/argparse.py	Mon Nov 26 13:35:05 2012 +0100
     2.3 @@ -1,3 +1,7 @@
     2.4 +#     Title:      HOL/Tools/Sledgehammer/MaSh/src/argparse.py
     2.5 +#
     2.6 +# Argument parser. See copyright notice below.
     2.7 +
     2.8  # -*- coding: utf-8 -*-
     2.9  
    2.10  # Copyright © 2006-2009 Steven J. Bethard <steven.bethard@gmail.com>.
     3.1 --- a/src/HOL/Tools/Sledgehammer/MaSh/src/compareStats.py	Mon Nov 26 12:13:37 2012 +0100
     3.2 +++ b/src/HOL/Tools/Sledgehammer/MaSh/src/compareStats.py	Mon Nov 26 13:35:05 2012 +0100
     3.3 @@ -1,4 +1,10 @@
     3.4  #!/usr/bin/python
     3.5 +#     Title:      HOL/Tools/Sledgehammer/MaSh/src/compareStats.py
     3.6 +#     Author:     Daniel Kuehlwein, ICIS, Radboud University Nijmegen
     3.7 +#     Copyright   2012
     3.8 +#
     3.9 +# Tool that compares MaSh statistics and displays a comparison.
    3.10 +
    3.11  '''
    3.12  Created on Jul 13, 2012
    3.13  
     4.1 --- a/src/HOL/Tools/Sledgehammer/MaSh/src/dictionaries.py	Mon Nov 26 12:13:37 2012 +0100
     4.2 +++ b/src/HOL/Tools/Sledgehammer/MaSh/src/dictionaries.py	Mon Nov 26 13:35:05 2012 +0100
     4.3 @@ -1,3 +1,9 @@
     4.4 +#     Title:      HOL/Tools/Sledgehammer/MaSh/src/dictionaries.py
     4.5 +#     Author:     Daniel Kuehlwein, ICIS, Radboud University Nijmegen
     4.6 +#     Copyright   2012
     4.7 +#
     4.8 +# Persistent dictionaries: accessibility, dependencies, and features.
     4.9 +
    4.10  '''
    4.11  Created on Jul 12, 2012
    4.12  
     5.1 --- a/src/HOL/Tools/Sledgehammer/MaSh/src/mash.py	Mon Nov 26 12:13:37 2012 +0100
     5.2 +++ b/src/HOL/Tools/Sledgehammer/MaSh/src/mash.py	Mon Nov 26 13:35:05 2012 +0100
     5.3 @@ -1,4 +1,10 @@
     5.4  #!/usr/bin/python
     5.5 +#     Title:      HOL/Tools/Sledgehammer/MaSh/src/mash.py
     5.6 +#     Author:     Daniel Kuehlwein, ICIS, Radboud University Nijmegen
     5.7 +#     Copyright   2012
     5.8 +#
     5.9 +# Entry point for MaSh (Machine Learning for Sledgehammer).
    5.10 +
    5.11  '''
    5.12  MaSh - Machine Learning for Sledgehammer
    5.13  
     6.1 --- a/src/HOL/Tools/Sledgehammer/MaSh/src/naiveBayes.py	Mon Nov 26 12:13:37 2012 +0100
     6.2 +++ b/src/HOL/Tools/Sledgehammer/MaSh/src/naiveBayes.py	Mon Nov 26 13:35:05 2012 +0100
     6.3 @@ -1,3 +1,9 @@
     6.4 +#     Title:      HOL/Tools/Sledgehammer/MaSh/src/naiveBayes.py
     6.5 +#     Author:     Daniel Kuehlwein, ICIS, Radboud University Nijmegen
     6.6 +#     Copyright   2012
     6.7 +#
     6.8 +# An updatable naive Bayes classifier.
     6.9 +
    6.10  '''
    6.11  Created on Jul 11, 2012
    6.12  
    6.13 @@ -10,7 +16,7 @@
    6.14  
    6.15  class NBClassifier(object):
    6.16      '''
    6.17 -    An updateable naive Bayes classifier.
    6.18 +    An updatable naive Bayes classifier.
    6.19      '''
    6.20  
    6.21      def __init__(self):
     7.1 --- a/src/HOL/Tools/Sledgehammer/MaSh/src/predefined.py	Mon Nov 26 12:13:37 2012 +0100
     7.2 +++ b/src/HOL/Tools/Sledgehammer/MaSh/src/predefined.py	Mon Nov 26 13:35:05 2012 +0100
     7.3 @@ -1,3 +1,9 @@
     7.4 +#     Title:      HOL/Tools/Sledgehammer/MaSh/src/predefined.py
     7.5 +#     Author:     Daniel Kuehlwein, ICIS, Radboud University Nijmegen
     7.6 +#     Copyright   2012
     7.7 +#
     7.8 +# A classifier that uses the Meng-Paulson predictions.
     7.9 +
    7.10  '''
    7.11  Created on Jul 11, 2012
    7.12  
     8.1 --- a/src/HOL/Tools/Sledgehammer/MaSh/src/readData.py	Mon Nov 26 12:13:37 2012 +0100
     8.2 +++ b/src/HOL/Tools/Sledgehammer/MaSh/src/readData.py	Mon Nov 26 13:35:05 2012 +0100
     8.3 @@ -1,3 +1,9 @@
     8.4 +#     Title:      HOL/Tools/Sledgehammer/MaSh/src/readData.py
     8.5 +#     Author:     Daniel Kuehlwein, ICIS, Radboud University Nijmegen
     8.6 +#     Copyright   2012
     8.7 +#
     8.8 +# All functions to read the Isabelle output.
     8.9 +
    8.10  '''
    8.11  All functions to read the Isabelle output.
    8.12  
     9.1 --- a/src/HOL/Tools/Sledgehammer/MaSh/src/snow.py	Mon Nov 26 12:13:37 2012 +0100
     9.2 +++ b/src/HOL/Tools/Sledgehammer/MaSh/src/snow.py	Mon Nov 26 13:35:05 2012 +0100
     9.3 @@ -1,3 +1,9 @@
     9.4 +#     Title:      HOL/Tools/Sledgehammer/MaSh/src/snow.py
     9.5 +#     Author:     Daniel Kuehlwein, ICIS, Radboud University Nijmegen
     9.6 +#     Copyright   2012
     9.7 +#
     9.8 +# Wrapper for SNoW.
     9.9 +
    9.10  '''
    9.11  THIS FILE IS NOT UP TO DATE!
    9.12  NEEDS SOME FIXING BEFORE IT WILL WORK WITH THE MAIN ALGORITHM
    10.1 --- a/src/HOL/Tools/Sledgehammer/MaSh/src/stats.py	Mon Nov 26 12:13:37 2012 +0100
    10.2 +++ b/src/HOL/Tools/Sledgehammer/MaSh/src/stats.py	Mon Nov 26 13:35:05 2012 +0100
    10.3 @@ -1,3 +1,9 @@
    10.4 +#     Title:      HOL/Tools/Sledgehammer/MaSh/src/stats.py
    10.5 +#     Author:     Daniel Kuehlwein, ICIS, Radboud University Nijmegen
    10.6 +#     Copyright   2012
    10.7 +#
    10.8 +# Statistics collector.
    10.9 +
   10.10  '''
   10.11  Created on Jul 9, 2012
   10.12