diff options
| author | David Aspinall | 1998-09-23 11:19:12 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-09-23 11:19:12 +0000 |
| commit | 77edfdcacd444e363715e65196d810fdfbbbcff2 (patch) | |
| tree | 0286356e97f2bb06efc2733113b7e994f2930187 /INSTALL | |
| parent | 97050a21ea2a94f1fd3766d99cd24baa6590c759 (diff) | |
Added more notes about specialization to new provers.
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions