equal
deleted
inserted
replaced
1 use_thy "Tree"; |
1 use_thy "Tree"; |
|
2 use_thy "Tree2"; |
2 use_thy "cases"; |
3 use_thy "cases"; |
3 use_thy "fakenat"; |
4 use_thy "fakenat"; |
4 use_thy "natsum"; |
5 use_thy "natsum"; |
5 use_thy "arith1"; |
6 use_thy "arith1"; |
6 use_thy "arith2"; |
7 use_thy "arith2"; |