5.1 Sequence

Theory Plug-in User Manual

Previous: Examples Up: Examples Next: List

5.1 Sequence

$\includegraphics{CompleteSeq.png}$

Figure 11: Sequences Theory

And some proof rules :

$\includegraphics{SeqRules.png}$

Figure 12: Sequences Theory - Proof Rules

Theory Plug-in User Manual

Previous: Examples Up: Examples Next: List