diff options
| author | Pierre Courtieu | 2014-12-24 00:57:13 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2014-12-24 00:57:13 +0000 |
| commit | 5d93450f3556da77dbc70812884a6be207bbfbca (patch) | |
| tree | 3f07ee3f3d0ab5dd9747a5cbe7d6d39ab842ff9b /isar/Example.thy | |
| parent | af9a7086bb182405bc3e738a28d5483afe7d40fb (diff) | |
fixed the use of >= 24.4 function string-suffix-p.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions