equal
deleted
inserted
replaced
16 % |
16 % |
17 \isadelimtheory |
17 \isadelimtheory |
18 % |
18 % |
19 \endisadelimtheory |
19 \endisadelimtheory |
20 % |
20 % |
21 \isamarkupsection{Inductive Predicates% |
21 \isamarkupsection{Inductive Predicates \label{sec:inductive}% |
22 } |
22 } |
23 \isamarkuptrue% |
23 \isamarkuptrue% |
24 % |
24 % |
25 \begin{isamarkuptext}% |
25 \begin{isamarkuptext}% |
26 To execute inductive predicates, a special preprocessor, the predicate |
26 To execute inductive predicates, a special preprocessor, the predicate |