equal
deleted
inserted
replaced
28 |
28 |
29 * Option to skip over proofs, using implicit 'sorry' internally. |
29 * Option to skip over proofs, using implicit 'sorry' internally. |
30 |
30 |
31 |
31 |
32 *** Pure *** |
32 *** Pure *** |
|
33 |
|
34 * Improved locales diagnostic command 'print_dependencies'. |
33 |
35 |
34 * Discontinued obsolete 'axioms' command, which has been marked as |
36 * Discontinued obsolete 'axioms' command, which has been marked as |
35 legacy since Isabelle2009-2. INCOMPATIBILITY, use 'axiomatization' |
37 legacy since Isabelle2009-2. INCOMPATIBILITY, use 'axiomatization' |
36 instead, while observing its uniform scope for polymorphism. |
38 instead, while observing its uniform scope for polymorphism. |
37 |
39 |