diff options
| author | Anaclet | 2020-05-28 09:21:53 +0200 |
|---|---|---|
| committer | Anaclet | 2020-05-29 11:06:41 +0200 |
| commit | 8627fba2a20e42432de441391db2f35e3c48a952 (patch) | |
| tree | 57da7458cdbd5b387bf397a6e2a4fab2a1e62623 /isar/Example-Tokens.thy | |
| parent | 3ab3f5efbbb724cb2e4aebc3c4d7bfdce4008896 (diff) | |
fix: backtrack for "Show Proof" disabled
Diffstat (limited to 'isar/Example-Tokens.thy')
0 files changed, 0 insertions, 0 deletions