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 * Theory SetsAndFunctions has been split into Function_Algebras and Set_Algebras; |
|
39 canonical names for instance definitions for functions; various improvements. |
|
40 INCOMPATIBILITY. |
37 |
41 |
38 * Records: logical foundation type for records do not carry a '_type' suffix |
42 * Records: logical foundation type for records do not carry a '_type' suffix |
39 any longer. INCOMPATIBILITY. |
43 any longer. INCOMPATIBILITY. |
40 |
44 |
41 * Code generation for records: more idiomatic representation of record types. |
45 * Code generation for records: more idiomatic representation of record types. |