equal
deleted
inserted
replaced
1 |
1 |
2 (*$Id$ |
2 (*$Id$ |
3 theory Main includes everything*) |
3 theory Main includes everything*) |
4 |
4 |
5 Main = Update + InfDatatype + List + EquivClass + IntArith |
5 Main = Update + InfDatatype + List + EquivClass + IntDiv |
6 |
6 |