author | wenzelm |
Tue, 28 Aug 2012 18:57:32 +0200 | |
changeset 48985 | 5386df44a037 |
parent 48966 | doc-src/TutorialI/document/ctl0.tex@6e15de7dd871 |
permissions | -rw-r--r-- |
11458 | 1 |
\index{model checking example|(}% |
10178 | 2 |
\index{lfp@{\texttt{lfp}}!applications of|see{CTL}} |
48966
6e15de7dd871
more standard document preparation within session context: avoid clashes with generated .tex files, even on case-insensible file-system;
wenzelm
parents:
48522
diff
changeset
|
3 |
\input{Base.tex} |
6e15de7dd871
more standard document preparation within session context: avoid clashes with generated .tex files, even on case-insensible file-system;
wenzelm
parents:
48522
diff
changeset
|
4 |
\input{PDL.tex} |
6e15de7dd871
more standard document preparation within session context: avoid clashes with generated .tex files, even on case-insensible file-system;
wenzelm
parents:
48522
diff
changeset
|
5 |
\input{CTL.tex} |
11458 | 6 |
\index{model checking example|)} |