diff options
| author | tslil clingman <> | 2024-02-19 14:03:20 +0100 |
|---|---|---|
| committer | tslil clingman <> | 2024-02-19 14:03:49 +0100 |
| commit | 7e62d1a5560d151b9e23b0f9ca5376a9f96ce8f6 (patch) | |
| tree | 9c789fd6eb966e7244f3311859a16e872ab2b893 /emacs/work_inits/21-functional.elc | |
| parent | 5cb627cccda6d745e4444675c735ddaa0b2a3d8a (diff) | |
[emacs] fix theoreom proving stuff for 21st c.
Diffstat (limited to 'emacs/work_inits/21-functional.elc')
0 files changed, 0 insertions, 0 deletions