equal
deleted
inserted
replaced
9 imports FixedPoint Product_Type Sum_Type |
9 imports FixedPoint Product_Type Sum_Type |
10 uses |
10 uses |
11 ("Tools/inductive_package.ML") |
11 ("Tools/inductive_package.ML") |
12 ("Tools/inductive_set_package.ML") |
12 ("Tools/inductive_set_package.ML") |
13 ("Tools/inductive_realizer.ML") |
13 ("Tools/inductive_realizer.ML") |
|
14 "Tools/dseq.ML" |
14 ("Tools/inductive_codegen.ML") |
15 ("Tools/inductive_codegen.ML") |
15 ("Tools/datatype_aux.ML") |
16 ("Tools/datatype_aux.ML") |
16 ("Tools/datatype_prop.ML") |
17 ("Tools/datatype_prop.ML") |
17 ("Tools/datatype_rep_proofs.ML") |
18 ("Tools/datatype_rep_proofs.ML") |
18 ("Tools/datatype_abs_proofs.ML") |
19 ("Tools/datatype_abs_proofs.ML") |