equal
deleted
inserted
replaced
1 (*<*) |
1 (*<*) |
2 theory examples = Main:; |
2 theory examples imports Main begin; |
3 (*>*) |
3 (*>*) |
4 |
4 |
5 text{* |
5 text{* |
6 Here is a simple example, the \rmindex{Fibonacci function}: |
6 Here is a simple example, the \rmindex{Fibonacci function}: |
7 *} |
7 *} |