diff options
| author | Healfdene Goguen | 1998-05-05 14:19:39 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1998-05-05 14:19:39 +0000 |
| commit | 63b0e4bf188a772cb0665d5eb70368a0f02c402e (patch) | |
| tree | 15d72e652a8562ea42d4f410feda84d77173c336 /INSTALL | |
| parent | 837d4b6eb258ae17038dffe36a1f97d22c298b6c (diff) | |
Added CoInductive.
Made updates to reflect problem with "Definition", which couldn't be
used with proof scripts.
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions