Thu, 16 Nov 2000 19:03:26 +0100 | wenzelm | added not_equiv_sym, not_equiv_trans1/2; | changeset | files |
Thu, 16 Nov 2000 19:01:39 +0100 | wenzelm | added abs_mult, abs_eq_0, square_nonzero; | changeset | files |
Thu, 16 Nov 2000 10:47:11 +0100 | paulson | ground terms section: new intro | changeset | files |