diff options
| author | Erik Martin-Dorel | 2021-02-25 20:36:44 +0100 |
|---|---|---|
| committer | Erik Martin-Dorel | 2021-02-25 20:41:16 +0100 |
| commit | 1cddbe592b9e92b6e3c02358af7a1c7e1e301106 (patch) | |
| tree | 3767342f33ef6cf1b646d55dad17efb5064a8b96 /isa/Example.thy | |
| parent | 735547ecef3e8c41cf3ca7ed06c875079e33fe00 (diff) | |
docs(CHANGES): Add "M-x proof-upgrade-elpa-packages RET" & menu item
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions