summaryrefslogtreecommitdiff
path: root/symbols
diff options
context:
space:
mode:
authorstuebinm2021-10-26 18:04:16 +0200
committerstuebinm2021-10-26 18:04:16 +0200
commit4c6d323ad1536e9ef6082eb34d872ccae1f389ef (patch)
treefda19c10314be1ed6a8ab3abba5fd5d43151fd4a /symbols
parentc6090f4b7fe238c34d4e15ceda0f1d9812a54276 (diff)
better code structure for isabelle-proto
Diffstat (limited to 'symbols')
0 files changed, 0 insertions, 0 deletions