diff options
| author | Hendrik Tews | 2012-01-04 20:43:04 +0000 |
|---|---|---|
| committer | Hendrik Tews | 2012-01-04 20:43:04 +0000 |
| commit | 83752f800e51f6945a8043a98cdbee732f63d982 (patch) | |
| tree | 6e951a3cb2f875a9c0801dc3fe4c2a06c8557574 /hol-light | |
| parent | b6cc4c3ce79afa83f5293559d334148787f64ecf (diff) | |
* fix case where some existential is instantiated with the last proof command
* protocol change
- rename proof-complete into proof-finished and add existential info
- add proof-complete message
Diffstat (limited to 'hol-light')
0 files changed, 0 insertions, 0 deletions