Skip to content

fix test

fa760f0
Select commit
Loading
Failed to load commit list.
Merged

Isabelle/HOL translation: fix nested pattern matching #3049

fix test
fa760f0
Select commit
Loading
Failed to load commit list.