| 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 |
| Mon, 08 Oct 2007 18:13:09 +0200 | wenzelm | avoid polymorphic equality; | changeset | files |
| Mon, 08 Oct 2007 18:13:08 +0200 | wenzelm | maintain typargs for abbrevs as well; | changeset | files |
| Mon, 08 Oct 2007 18:13:07 +0200 | wenzelm | Codegen.is_instance: raw match, ignore sort constraints; | changeset | files |