S
C
L
_
S
imulates_
G
round_
R
esolution.
I
sabelle_2024_
C
ompatibility
HTML Presentation