diff options
| author | David Aspinall | 2002-08-16 08:07:56 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-16 08:07:56 +0000 |
| commit | 0d61475511fbe98406991e41bd010087d8157777 (patch) | |
| tree | 16ef98179a77bf5432630b2705d37d933102cc32 /hol98/example.sml | |
| parent | b3a843523cad3e71113a8ac11eaa1e3b5edb4f8c (diff) | |
pg-goals -> pg-assoc
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions