gitweb on Svarog

projekti pod git sistemom za održavanje verzija -- projects under the git version control system
transf-min - we run simplify without the assumptions of a regular system, and then...
authorDoni Pracner <quinnuendo@gmail.com>
Sun, 9 Feb 2014 19:43:46 +0000 (20:43 +0100)
committerDoni Pracner <quinnuendo@gmail.com>
Sun, 9 Feb 2014 19:43:46 +0000 (20:43 +0100)
commit01e49234ef28a738c670053dc56b00cabccf34d7
treead7f81b4e1dd9da427ac22eb36ead5e766a62aec
parent6ba7e8efcd800adf5d3bbc0c4113d2d3a3670ddb
transf-min - we run simplify without the assumptions of a regular system, and then we just simplify it
src-wsl/transf-min.wsl
Svarog.pmf.uns.ac.rs/gitweb maintanance Doni Pracner