equal
deleted
inserted
replaced
24 |
24 |
25 Logics/ZF: renamed mem_anti_sym and mem_anti_refl |
25 Logics/ZF: renamed mem_anti_sym and mem_anti_refl |
26 |
26 |
27 Ref/defining: type constraints ("::") now have a very low priority of 4. |
27 Ref/defining: type constraints ("::") now have a very low priority of 4. |
28 As in ML, they must be enclosed in paretheses most of the time. |
28 As in ML, they must be enclosed in paretheses most of the time. |
|
29 |
|
30 Ref/theories: added init_thy_reader and removed extend_theory. |