Translate Judoc comments to Isabelle/HOL#2958
Merged
lukaszcz merged 8 commits intomainfrom isabelle-judocAug 23, 2024
+154-51
Commits
Commits on Aug 19, 2024
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Aug 22, 2024
Commits on Aug 23, 2024
- committed