equal
deleted
inserted
replaced
32 * Diagnostic command 'print_interps' prints interpretations in proofs |
32 * Diagnostic command 'print_interps' prints interpretations in proofs |
33 in addition to interpretations in theories. |
33 in addition to interpretations in theories. |
34 |
34 |
35 |
35 |
36 *** HOL *** |
36 *** HOL *** |
|
37 |
|
38 * Dropped type classes mult_mono and mult_mono1. INCOMPATIBILITY. |
37 |
39 |
38 * Theory SetsAndFunctions has been split into Function_Algebras and Set_Algebras; |
40 * Theory SetsAndFunctions has been split into Function_Algebras and Set_Algebras; |
39 canonical names for instance definitions for functions; various improvements. |
41 canonical names for instance definitions for functions; various improvements. |
40 INCOMPATIBILITY. |
42 INCOMPATIBILITY. |
41 |
43 |