src/Doc/Tutorial/CTL/CTLind.thy
changeset 66787 64b47495676d
parent 58860 fee7cfa69c50
child 67406 23307fd33906