equal
deleted
inserted
replaced
17 *** Pure *** |
17 *** Pure *** |
18 |
18 |
19 * Discontinued obsolete 'axioms' command, which has been marked as |
19 * Discontinued obsolete 'axioms' command, which has been marked as |
20 legacy since Isabelle2009-2. INCOMPATIBILITY, use 'axiomatization' |
20 legacy since Isabelle2009-2. INCOMPATIBILITY, use 'axiomatization' |
21 instead, while observing its uniform scope for polymorphism. |
21 instead, while observing its uniform scope for polymorphism. |
|
22 |
|
23 * Discontinued empty name bindings in 'axiomatization'. |
|
24 INCOMPATIBILITY. |
22 |
25 |
23 |
26 |
24 *** HOL *** |
27 *** HOL *** |
25 |
28 |
26 * Discontinued obsolete src/HOL/IsaMakefile (considered legacy since |
29 * Discontinued obsolete src/HOL/IsaMakefile (considered legacy since |