doc-src/TutorialI/CTL/PDL.thy
changeset 24762 8d7da66b1a2c
parent 21202 6649bf75b9dc
child 27015 f8537d69f514
equal deleted inserted replaced
24761:d762ab297a07 24762:8d7da66b1a2c