diff options
| author | David Aspinall | 1999-02-01 13:36:07 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-02-01 13:36:07 +0000 |
| commit | 95c9ad9cc75b09189fffb0ab91d74e89574d382a (patch) | |
| tree | fb655c8d29de2850f990a9d911941065b12acae7 /isar/Example.thy | |
| parent | 5058cf23b8a892880fd79905d510e587f350759e (diff) | |
Regexp bug. Use proof-string-match appropriately.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions