Use subloclae instead of locale + for the spectroscopy game

equivio / silent-step-spectroscopy

Isabelle formalization of linear-time–branching-time spectroscopy accounting for silent steps

https://equivio.github.io/silent-step-spectroscopy/AFP/LinearTimeBranchingTimeSpectroscopyAccountingForSilentSteps/index.html

Other

0 stars 0 forks source link

Use subloclae instead of locale + for the spectroscopy game #59

Closed TheHllm closed 10 months ago

benkeks commented 10 months ago

I would close this PR as stale. (Any objections @TheHllm ?)

TheHllm commented 10 months ago

It is certainly stale. I only open this issue because of the usage of the term sublocale in the diagram. But as far as i understand this was never ment to imply that we should also use the keyword sublocale within our .thys. In which case this draft is uneeded.