1999-08-27 wenzelm thm "_" = asm_rl;
1999-08-27 paulson tidied
1999-08-27 paulson use of bij, new theorems, etc.
1999-08-27 paulson the bij predicate forced renaming of a variable bij
1999-08-27 paulson tidied, allowing pattern-matching in defs of prat_add and prat_mult
1999-08-27 paulson tidied, allowing pattern-matching in defs of zadd and zmult
Loading...
(0) -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip