summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore16logplain
-rw-r--r--Cargo.lock11724logplain
-rw-r--r--Cargo.toml55logplain
-rw-r--r--Readme.org2216logplain
-rw-r--r--default.nix191logplain
d---------isabelle-dump142logplain
-rw-r--r--isabelle-licence1693logplain
d---------nix79logplain
d---------symbolmacro144logplain
-rw-r--r--symbols25867logplain