Isabelle/HOL translation: fix nested pattern matching #9277
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