diff options
| author | David Aspinall | 2009-08-17 13:43:50 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-08-17 13:43:50 +0000 |
| commit | 57940bb7d539bfac395c496d91638bff6427defa (patch) | |
| tree | da75436b319cb18d3707303f606680b0b636147a /hol98/example.sml | |
| parent | 2a144282a0b0a7109d7e9cf11f8881e6a0f203ef (diff) | |
proof-looking-at-syntactic-context: allow proof assistant
version to override default.
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions