diff options
| author | Healfdene Goguen | 1997-11-06 16:56:26 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1997-11-06 16:56:26 +0000 |
| commit | 1a6a449810a56c6cdae29bf3c62ca37e3e5bd47d (patch) | |
| tree | 0c959e52d9ffc5e681e0e7c22441765b06e4ed69 /proof.el | |
| parent | 31081a156b73c22b5eaf18678fcbfbcffc0dc830 (diff) | |
Assign new variable proof-goal-hyp-fn to lego-goal-hyp, which is
simply old code for picking up goal or hypothesis for pbp
Diffstat (limited to 'proof.el')
0 files changed, 0 insertions, 0 deletions