Fri, 28 Sep 2012 08:09:28 +0200 | nipkow | tuned printing of _ in latex | changeset | files |
Thu, 27 Sep 2012 20:30:32 +0200 | kuncar | mk_readable_rsp_thm_eq is more robust now | changeset | files |
Thu, 27 Sep 2012 20:30:30 +0200 | kuncar | new get function for non-symmetric relator_eq & tuned | changeset | files |