changeset 10122 | 194c7349b6c0 |
parent 9958 | 67f2920862c7 |
child 10133 | e187dacd248f |
1.1 --- a/doc-src/TutorialI/CTL/PDL.thy Mon Oct 02 14:22:39 2000 +0200 1.2 +++ b/doc-src/TutorialI/CTL/PDL.thy Mon Oct 02 14:25:10 2000 +0200 1.3 @@ -1,7 +1,6 @@ 1.4 -theory PDL = Main:; 1.5 +(*<*)theory PDL = Base:(*>*) 1.6 1.7 -typedecl atom; 1.8 -types state = "atom set"; 1.9 +subsection{*Propositional dynmic logic---PDL*} 1.10 1.11 datatype ctl_form = Atom atom 1.12 | NOT ctl_form