From: Doni Pracner Date: Sun, 9 Feb 2014 19:43:46 +0000 (+0100) Subject: transf-min - we run simplify without the assumptions of a regular system, and then... X-Git-Tag: v0.1.5~9 X-Git-Url: http://svarog.pmf.uns.ac.rs/gitweb/?p=mjc2wsl.git;a=commitdiff_plain;h=01e49234ef28a738c670053dc56b00cabccf34d7;hp=01e49234ef28a738c670053dc56b00cabccf34d7 transf-min - we run simplify without the assumptions of a regular system, and then we just simplify it ---