diff options
| author | David Aspinall | 2002-08-13 18:55:30 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-13 18:55:30 +0000 |
| commit | ca4c1a91f089988737d3f57f5378eedea1627ba1 (patch) | |
| tree | 0154154f12fa6f8e1bc030ee71a341fdb1a2b7bb /isa/Example.ML | |
| parent | 32b5ec45938ec13a2edcd9500398106eb346c1db (diff) | |
proof-string-match-safe is even more safe
Diffstat (limited to 'isa/Example.ML')
0 files changed, 0 insertions, 0 deletions