Isabelle/HOL translation: fix undefined identifiers due to syntax alias
#9279
Annotations
1 warning
|
Build anoma
x..y inside match is deprecated, you must always match on the step: x..y//var or x..y//_ if you want to ignore it
|
Loading