Tue, 11 Apr 2006 16:00:07 +0200 | wenzelm | 'axclass': no parameters; | changeset | files |
Tue, 11 Apr 2006 16:00:06 +0200 | wenzelm | tuned; | changeset | files |
Tue, 11 Apr 2006 16:00:05 +0200 | wenzelm | removed superclasses (see sign.ML); | changeset | files |
Tue, 11 Apr 2006 16:00:03 +0200 | wenzelm | added super_classes (from sorts.ML); | changeset | files |
Tue, 11 Apr 2006 16:00:02 +0200 | wenzelm | added mk_classrel, dest_classrel, mk_arities, dest_arity (from axclass.ML); | changeset | files |
Tue, 11 Apr 2006 16:00:01 +0200 | wenzelm | moved abstract syntax operations to logic.ML; | changeset | files |
Mon, 10 Apr 2006 16:00:34 +0200 | obua | Moved stuff from Ring_and_Field to Matrix | changeset | files |