diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-07-18 12:55:34 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-07-18 12:55:34 +0000 |
| commit | bf55d17d6e22924a5705d9fb5d594c6652842c90 (patch) | |
| tree | 5692fb096dcac518dbaf4881d54570eaa5c12d85 /generic | |
| parent | f65e6c1bbf2d0f70df2a91f2dee95fc3df8cf73a (diff) | |
Rename READMEs for different provers so dont clash with doc directive.
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions