equal
deleted
inserted
replaced
1 (**************************************************************) |
1 (**************************************************************) |
2 (* *) |
2 (* *) |
3 (* *) |
3 (* *) |
4 (* Trying to implement an Bounded arithmetic *) |
4 (* Trying to implement an Bounded arithmetic *) |
5 (* *) |
5 (* Chaieb Amine *) |
6 (* *) |
6 (* *) |
7 (**************************************************************) |
7 (**************************************************************) |
8 |
8 |
9 signature BARITH = |
9 signature BARITH = |
10 sig |
10 sig |