diff options
| author | David Aspinall | 1998-10-14 12:49:06 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-14 12:49:06 +0000 |
| commit | db1b2c3a52c071307efdfb4ac94dbf56cb197a0e (patch) | |
| tree | bea17604ee6c0a9d16693339c956637bfdc66d56 /etc/ProofGeneral.patch | |
| parent | 9bfea91bab515b36f294e20bf5bd606c67e0a1ed (diff) | |
Added suggestion about simplifying instantiation
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions