Skip to content

Isabelle/HOL translation: fix undefined identifiers due to syntax alias #8462

Isabelle/HOL translation: fix undefined identifiers due to syntax alias

Isabelle/HOL translation: fix undefined identifiers due to syntax alias #8462