changeset 70565 | d0b75c59beca |
parent 70562 | 86692888c313 |
child 70599 | 853947643971 |
--- a/NEWS Sat Aug 17 13:39:28 2019 +0200 +++ b/NEWS Sat Aug 17 17:21:30 2019 +0200 @@ -57,6 +57,8 @@ Theory.join_theory recovers a single result theory. See also the example in theory "HOL-ex.Join_Theory". +* Antiquotation @{oracle_name} inlines a formally checked oracle name. + New in Isabelle2019 (June 2019)