Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 16 | logplain |
-rw-r--r-- | Cargo.lock | 319 | logplain |
-rw-r--r-- | Cargo.toml | 80 | logplain |
-rw-r--r-- | Readme.org | 2216 | logplain |
-rw-r--r-- | default.nix | 191 | logplain |
-rw-r--r-- | isabelle-licence | 1693 | logplain |
d--------- | isabelle-unicode | 68 | logplain |
d--------- | nix | 79 | logplain |
d--------- | symbolmacro | 144 | logplain |
-rw-r--r-- | symbols | 25867 | logplain |
d--------- | util | 68 | logplain |