Isabelle/HOL translation: fix creation of polymorphic records#3051
Open
lukaszcz wants to merge 12 commits intomainfrom fix-implicit-record-args
+525-146
Commits
Commits on Dec 1, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
