equal
deleted
inserted
replaced
1 (* Title: example_2 |
|
2 Author: Jan Rocnik |
|
3 Description: The following Example can be used as an HOWTO on generating |
|
4 Rulesets and applying them to terms. |
|
5 (c) copyright due to license terms. |
|
6 12345678901234567890123456789012345678901234567890123456789012345678901234567890 |
|
7 10 20 30 40 50 60 70 80 |
|
8 *) |
|
9 |
1 |
10 theory example_2 imports Isac |
2 theory example_2 imports Isac |
11 begin |
3 begin |
12 |
4 |
13 section{*Symbol Representation*} |
5 section{*Symbol Representation*} |