Isabelle/HOL translation: recursive translation of the whole project #9273
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