diff options
| author | stuebinm | 2021-10-26 18:04:16 +0200 |
|---|---|---|
| committer | stuebinm | 2021-10-26 18:04:16 +0200 |
| commit | 4c6d323ad1536e9ef6082eb34d872ccae1f389ef (patch) | |
| tree | fda19c10314be1ed6a8ab3abba5fd5d43151fd4a /symbols | |
| parent | c6090f4b7fe238c34d4e15ceda0f1d9812a54276 (diff) | |
better code structure for isabelle-proto
Diffstat (limited to 'symbols')
0 files changed, 0 insertions, 0 deletions