diff options
| author | Pierre Courtieu | 2010-09-01 13:34:37 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2010-09-01 13:34:37 +0000 |
| commit | c1955a6fa62b94b1906a199638caf293f29319a8 (patch) | |
| tree | 37a6c650c07539b1686d02ad7bc3876b0627efca /hol98/example.sml | |
| parent | 06fb36588deb414cbe62699dc8ec2292aa9c8a71 (diff) | |
Fixed bug #346. Coq code was using proof-ids-to-regexp on regexp
instead of pure strings.
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions