equal
deleted
inserted
replaced
284 * the syntax "if P then x else y" is now available in addition to |
284 * the syntax "if P then x else y" is now available in addition to |
285 if(P,x,y); |
285 if(P,x,y); |
286 |
286 |
287 |
287 |
288 *** Internal programming interfaces *** |
288 *** Internal programming interfaces *** |
|
289 |
|
290 * tuned simplifier trace output; new flag debug_simp; |
289 |
291 |
290 * structures Vartab / Termtab (instances of TableFun) offer efficient |
292 * structures Vartab / Termtab (instances of TableFun) offer efficient |
291 tables indexed by indexname_ord / term_ord (compatible with aconv); |
293 tables indexed by indexname_ord / term_ord (compatible with aconv); |
292 |
294 |
293 * AxClass.axclass_tac lost the theory argument; |
295 * AxClass.axclass_tac lost the theory argument; |