equal
deleted
inserted
replaced
159 
159 
160 * Library theory "Bit_Operations" with generic bit operations. 
160 * Library theory "Bit_Operations" with generic bit operations. 
161 
161 
162 * Library theory "Signed_Division" provides operations for signed 
162 * Library theory "Signed_Division" provides operations for signed 
163 division, instantiated for type int. 
163 division, instantiated for type int. 

164 

165 * Theory "Multiset": removed misleading notation \<Union># for sum_mset; 

166 replaced with \<Sum>\<^sub>#. 
164 
167 
165 * Selfcontained library theory "Word" taken over from former session 
168 * Selfcontained library theory "Word" taken over from former session 
166 "HOLWord". 
169 "HOLWord". 
167 
170 
168 * Theory "Word": Type word is restricted to bit strings consisting of at 
171 * Theory "Word": Type word is restricted to bit strings consisting of at 