equal
deleted
inserted
replaced
529 (*Thu Jul 23 1992: loaded in 467s using iffE [on SPARC2] *) |
529 (*Thu Jul 23 1992: loaded in 467s using iffE [on SPARC2] *) |
530 (*Mon Nov 14 1994: loaded in 144s [on SPARC10, with deepen_tac] *) |
530 (*Mon Nov 14 1994: loaded in 144s [on SPARC10, with deepen_tac] *) |
531 (*Wed Nov 16 1994: loaded in 138s [after addition of norm_term_skip] *) |
531 (*Wed Nov 16 1994: loaded in 138s [after addition of norm_term_skip] *) |
532 (*Mon Nov 21 1994: loaded in 131s [DEPTH_FIRST suppressing repetitions] *) |
532 (*Mon Nov 21 1994: loaded in 131s [DEPTH_FIRST suppressing repetitions] *) |
533 |
533 |
|
534 (*Tue Mar 4 1997: loaded in 93s (on pochard, version 94-7) *) |
|
535 (*Tue Mar 4 1997: loaded in 89s (on pochard) *) |
|
536 |