NEWS
changeset 66248 df85956228c2
parent 66238 88b8ef0b17fd
child 66278 978fb83b100c
     1.1 --- a/NEWS	Mon Jul 03 09:57:26 2017 +0200
     1.2 +++ b/NEWS	Mon Jul 03 13:51:55 2017 +0200
     1.3 @@ -62,6 +62,10 @@
     1.4  src/HOL/Decision_Procs/Reflective_Field.thy for examples and the
     1.5  tutorial on code generation.
     1.6  
     1.7 +* Commands 'alias' and 'type_alias' introduce aliases for constants and
     1.8 +type constructors, respectively. This allows adhoc changes to name-space
     1.9 +accesses within global or local theory contexts, e.g. within a 'bundle'.
    1.10 +
    1.11  
    1.12  *** Prover IDE -- Isabelle/Scala/jEdit ***
    1.13