equal
deleted
inserted
replaced
77 |
77 |
78 *** ML *** |
78 *** ML *** |
79 |
79 |
80 * Structure Proof_Context follows standard naming scheme. Old |
80 * Structure Proof_Context follows standard naming scheme. Old |
81 ProofContext has been discontinued. INCOMPATIBILITY. |
81 ProofContext has been discontinued. INCOMPATIBILITY. |
|
82 |
|
83 * Refined Local_Theory.declaration {syntax, pervasive}, with subtle |
|
84 change of semantics for syntax = false: update is applied to auxiliary |
|
85 context as well. |
82 |
86 |
83 |
87 |
84 |
88 |
85 New in Isabelle2011-1 (October 2011) |
89 New in Isabelle2011-1 (October 2011) |
86 ------------------------------------ |
90 ------------------------------------ |