Isabelle/HOL translation: fix undefined identifiers due to syntax alias#3050
Open
lukaszcz wants to merge 11 commits intomainfrom isabelle-alias-fix
+444-142
Commits
Commits on Dec 1, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
