diff options
| author | stuebinm | 2021-09-04 16:07:56 +0200 |
|---|---|---|
| committer | stuebinm | 2021-09-04 16:07:56 +0200 |
| commit | c914a1532b86b95b89e48ef8a1e43657194ff0dd (patch) | |
| tree | bf4d5a96a192fbecf446d8f2450d2b9f5f2246d4 /symbolmacro | |
| parent | 3e24f64d9652bebe49838f244f1e1bfa2cc45f17 (diff) | |
package name: isabelle-dump → isabelle-unicode
Diffstat (limited to 'symbolmacro')
0 files changed, 0 insertions, 0 deletions