diff options
| author | David Aspinall | 2002-06-18 23:08:53 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-06-18 23:08:53 +0000 |
| commit | 2b12ea7260cf8fc3301d75f60fbf69288ecd09ad (patch) | |
| tree | c9fabb17793b9ae13835ccccbe4ba57f51c72cf7 /html | |
| parent | 9e751e825b3e830f3fcc81374e853b741e38bd79 (diff) | |
Remove global testing and lift-global function; rename proof-nested-goals -> proof-nested-goals-history.
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions