Isabelle/HOL translation: records and named patterns #8185
Annotations
2 errors
|
Install hpack
The operation was canceled.
|
Loading