Skip to content

Fix field names in Isabelle translation#3795

Merged
unp1 merged 2 commits intomainfrom
fixIsabelleTranslation
Mar 31, 2026
Merged

Fix field names in Isabelle translation#3795
unp1 merged 2 commits intomainfrom
fixIsabelleTranslation

Commits

Commits on Mar 31, 2026