diff options
| author | David Aspinall | 2002-06-11 10:59:02 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-06-11 10:59:02 +0000 |
| commit | c71cc870b134bc62201c6184488d14225852ab13 (patch) | |
| tree | 056c805a06d96378a581c1fff18fe26180771e4b /hol98/example.sml | |
| parent | ef1b6fd069272733ee9f06ba03215ef7702a1aa8 (diff) | |
Set nested goals; include Lemma again in def of goal.
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions