1999-08-27 | wenzelm | thm "_" = asm_rl; | changeset | files |
1999-08-27 | paulson | tidied | changeset | files |
1999-08-27 | paulson | use of bij, new theorems, etc. | changeset | files |
1999-08-27 | paulson | the bij predicate forced renaming of a variable bij | changeset | files |
1999-08-27 | paulson | tidied, allowing pattern-matching in defs of prat_add and prat_mult | changeset | files |
1999-08-27 | paulson | tidied, allowing pattern-matching in defs of zadd and zmult | changeset | files |
Loading... |