au-ts / cogent

Cogent Project

https://trustworthy.systems/projects/TS/cogent.pml

Other

158 stars 26 forks source link

Isabelle shallow gen function names #300

Closed zilinc closed 5 years ago

zilinc commented 5 years ago

See my comment in https://github.com/NICTA/cogent/commit/e485ce377e7a06c1aebcaa2d4d25729b80e9880d#commitcomment-35261386

Also related:

263