changeset 50222 | 40e3c3be6bca |
parent 50220 | 90280d85cd03 |
child 50388 | a5b666e0c3c2 |
50221:355aaa57ac39 | 50222:40e3c3be6bca |
---|---|
1 # Title: HOL/Tools/Sledgehammer/MaSh/src/predefined.py |
|
2 # Author: Daniel Kuehlwein, ICIS, Radboud University Nijmegen |
|
3 # Copyright 2012 |
|
4 # |
|
5 # A classifier that uses the Meng-Paulson predictions. |
|
6 |
|
1 ''' |
7 ''' |
2 Created on Jul 11, 2012 |
8 Created on Jul 11, 2012 |
3 |
9 |
4 @author: Daniel Kuehlwein |
10 @author: Daniel Kuehlwein |
5 ''' |
11 ''' |