search

data61 / PSL

Other
65 stars 9 forks source link

SeLFiE: avoid automatic expansion of abbreviations. #154

Closed yutakang closed 4 years ago

yutakang commented 4 years ago

The current implementation works, but it is not reliable.

yutakang commented 4 years ago

Done in 33526caf1ff963d4ca0f18ffea3cb49070006dae.

Using Isabelle_Utils.contract_abbrevs.