| 2000-08-07 | paulson | 2000-08-07 | added a dummy "thm list" argument to prove_conv for the new interface to Cancel_Numerals | file | diff | annotate |
| 2000-07-25 | wenzelm | 2000-07-25 | rearranged setup of arithmetic procedures, avoiding global reference values; | file | diff | annotate |