| changeset 159 | 64fa844064fa |
| parent 32 | 5bb2d29553c2 |
| child 164 | 3f617d7a2691 |
| 158:d7944bdf7b3f | 159:64fa844064fa |
|---|---|
1 theory Simple_Inductive_Package |
1 theory Simple_Inductive_Package |
2 imports Main |
2 imports Main |
3 uses ("simple_inductive_package.ML") |
3 uses ("simple_inductive_package.ML") |
4 begin |
4 begin |
5 |
5 |
6 |
|
6 use_chunks "simple_inductive_package.ML" |
7 use_chunks "simple_inductive_package.ML" |
7 |
8 |
9 |
|
8 end |
10 end |