diff options
| author | Healfdene Goguen | 1998-06-10 12:41:47 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1998-06-10 12:41:47 +0000 |
| commit | b4b24ed0907d3612a924376d22e71e406b1e2950 (patch) | |
| tree | 445891afbb23c47ce8ee3185391ea3a7eb59f000 /isa/example.ML | |
| parent | 313f7560e518fea329d8bbc842824cab9e052796 (diff) | |
Compare span-end first rather than span-start in span-lt, because
proof-lock-span is often changed and has starting point 1.
Factored out common code of add-span and remove-span into
span-traverse.
Diffstat (limited to 'isa/example.ML')
0 files changed, 0 insertions, 0 deletions