equal
deleted
inserted
replaced
77 - Run the actions on goals before commands "unfolding" and "using". |
77 - Run the actions on goals before commands "unfolding" and "using". |
78 |
78 |
79 * Meson |
79 * Meson |
80 - Added support for polymorphic "using" facts. Minor INCOMPATIBILITY. |
80 - Added support for polymorphic "using" facts. Minor INCOMPATIBILITY. |
81 |
81 |
|
82 * (Co)datatype package: |
|
83 - Lemma map_ident_strong is now generated for all BNFs. |
82 |
84 |
83 |
85 |
84 *** System *** |
86 *** System *** |
85 |
87 |
86 * Command-line tool "isabelle scala_project" supports Gradle as |
88 * Command-line tool "isabelle scala_project" supports Gradle as |