equal
deleted
inserted
replaced
65 legacy since Isabelle2009-2. INCOMPATIBILITY, use 'axiomatization' |
65 legacy since Isabelle2009-2. INCOMPATIBILITY, use 'axiomatization' |
66 instead, while observing its uniform scope for polymorphism. |
66 instead, while observing its uniform scope for polymorphism. |
67 |
67 |
68 * Discontinued empty name bindings in 'axiomatization'. |
68 * Discontinued empty name bindings in 'axiomatization'. |
69 INCOMPATIBILITY. |
69 INCOMPATIBILITY. |
|
70 |
|
71 * SELECT_GOAL now retains the syntactic context of the overall goal |
|
72 state (schematic variables etc.). Potential INCOMPATIBILITY in rare |
|
73 situations. |
70 |
74 |
71 |
75 |
72 *** HOL *** |
76 *** HOL *** |
73 |
77 |
74 * Code generator: |
78 * Code generator: |