changeset 41285 | efd23c1d9886 |
parent 40834 | a1249aeff5b6 |
child 41287 | 029a6fc1bfb8 |
41284:6d66975b711f | 41285:efd23c1d9886 |
---|---|
3 *) |
3 *) |
4 |
4 |
5 header {* Domain package *} |
5 header {* Domain package *} |
6 |
6 |
7 theory Domain |
7 theory Domain |
8 imports Bifinite Domain_Aux |
8 imports Representable Domain_Aux |
9 uses |
9 uses |
10 ("Tools/domaindef.ML") |
10 ("Tools/domaindef.ML") |
11 ("Tools/Domain/domain_isomorphism.ML") |
11 ("Tools/Domain/domain_isomorphism.ML") |
12 ("Tools/Domain/domain_axioms.ML") |
12 ("Tools/Domain/domain_axioms.ML") |
13 ("Tools/Domain/domain.ML") |
13 ("Tools/Domain/domain.ML") |