equal
deleted
inserted
replaced
1 (* Title: example_3 |
1 |
2 Author: Jan Rocnik |
|
3 Description: The following Example can be used as an HOWTO on implementing |
|
4 new Functions within the ISAC-System. |
|
5 (c) copyright due to license terms. |
|
6 12345678901234567890123456789012345678901234567890123456789012345678901234567890 |
|
7 10 20 30 40 50 60 70 80 |
|
8 *) |
|
9 |
2 |
10 theory example_3 imports Isac |
3 theory example_3 imports Isac |
11 begin |
4 begin |
12 |
5 |
13 section{*Function Decleration*} |
6 section{*Function Decleration*} |