equal
deleted
inserted
replaced
189 
189 
190 The symbol \<some> is displayed as the alternative epsilon of LaTeX 
190 The symbol \<some> is displayed as the alternative epsilon of LaTeX 
191 and xsymbol; use option 'm epsilon' to get it actually printed. 
191 and xsymbol; use option 'm epsilon' to get it actually printed. 
192 Moreover, the mathematically important symbolic identifier 
192 Moreover, the mathematically important symbolic identifier 
193 \<epsilon> becomes available as variable, constant etc. 
193 \<epsilon> becomes available as variable, constant etc. 

194 

195 * HOL: "x > y" abbreviates "y < x" and "x >= y" abbreviates "y <= x" 
194 
196 
195 * HOL/SetInterval: The syntax for open intervals has changed: 
197 * HOL/SetInterval: The syntax for open intervals has changed: 
196 
198 
197 Old New 
199 Old New 
198 {..n(} > {..<n} 
200 {..n(} > {..<n} 