Isabelle/HOL translation: fix nested pattern matching#3049
Open
lukaszcz wants to merge 10 commits intomainfrom isabelle-records-fix
+399-126
Commits
Commits on Dec 1, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
