diff options
| author | Healfdene Goguen | 1997-11-06 16:56:59 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1997-11-06 16:56:59 +0000 |
| commit | e1277b1abb0aab10488142c86ac030becc368547 (patch) | |
| tree | 02baccf42a6ae1ab3a62652d1c9f5376b1179944 /todo | |
| parent | 1a6a449810a56c6cdae29bf3c62ca37e3e5bd47d (diff) | |
Parameterize by proof-goal-hyp-fn in pbp-make-top-extent, to handle
Coq goals which start with text rather than simply ?n
Updated 'let (ap 0)' in proof-shell-analyse structure, to be slightly
more compatible with Coq pbp code
Diffstat (limited to 'todo')
0 files changed, 0 insertions, 0 deletions