equal
deleted
inserted
replaced
247 * Theories of common data structures are split into theories for |
247 * Theories of common data structures are split into theories for |
248 implementation, an invariant-ensuring type, and connection to |
248 implementation, an invariant-ensuring type, and connection to |
249 an abstract type. INCOMPATIBILITY. |
249 an abstract type. INCOMPATIBILITY. |
250 |
250 |
251 - RBT is split into RBT and RBT_Mapping. |
251 - RBT is split into RBT and RBT_Mapping. |
252 - AssocList is split and renamed into AList_Impl and AList_Mapping. |
252 - AssocList is split and renamed into AList and AList_Mapping. |
253 - DList is split into DList_Impl, DList, and DList_Cset. |
253 - DList is split into DList_Impl, DList, and DList_Cset. |
254 - Cset is split into Cset and List_Cset. |
254 - Cset is split into Cset and List_Cset. |
255 |
255 |
256 * Theory Library/Nat_Infinity has been renamed to |
256 * Theory Library/Nat_Infinity has been renamed to |
257 Library/Extended_Nat, with name changes of the following types and |
257 Library/Extended_Nat, with name changes of the following types and |