doc-src/TutorialI/CTL/PDL.thy
Tue, 07 Nov 2006 11:28:25 +0100 berghofe Adapted to changes in FixedPoint theory.
less more (0) -10 -1 tip