| Mon, 08 Oct 2007 22:03:21 +0200 | haftmann | added proper subclass concept; improved class target | changeset | files |
| Mon, 08 Oct 2007 20:20:13 +0200 | chaieb | fixed bug in grobner_ideal | changeset | files |
| Mon, 08 Oct 2007 19:53:09 +0200 | wenzelm | tuned generated comment; | changeset | files |
| Mon, 08 Oct 2007 18:13:10 +0200 | wenzelm | primitive add_def: strip sorts in axiom; | changeset | files |