summaryrefslogtreecommitdiff
path: root/sci-mathematics
ModeNameSize
d---------isabelle116logplain