search

rems-project / lem

Lem semantic definition language
Other
130 stars 15 forks source link

Adapt to infix operator syntax in Isabelle 2019 #25

Closed larsrh closed 5 years ago

larsrh commented 5 years ago

I was about to PR this change, turns out @bauereiss already did it :wink:

larsrh commented 5 years ago

Ping.

bauereiss commented 5 years ago

Sorry, I was on holiday. Merged now, thank you.

larsrh commented 5 years ago

Thanks!