equal
deleted
inserted
replaced
129 different phases of code generation. See src/HOL/ex/Code_Timing.thy for |
129 different phases of code generation. See src/HOL/ex/Code_Timing.thy for |
130 examples. |
130 examples. |
131 |
131 |
132 |
132 |
133 *** HOL *** |
133 *** HOL *** |
|
134 |
|
135 * Code generation for scala: ambiguous implicts in class diagrams |
|
136 are spelt out explicitly. |
134 |
137 |
135 * Abstract locales semigroup, abel_semigroup, semilattice, |
138 * Abstract locales semigroup, abel_semigroup, semilattice, |
136 semilattice_neutr, ordering, ordering_top, semilattice_order, |
139 semilattice_neutr, ordering, ordering_top, semilattice_order, |
137 semilattice_neutr_order, comm_monoid_set, semilattice_set, |
140 semilattice_neutr_order, comm_monoid_set, semilattice_set, |
138 semilattice_neutr_set, semilattice_order_set, semilattice_order_neutr_set |
141 semilattice_neutr_set, semilattice_order_set, semilattice_order_neutr_set |