Sun, 30 Apr 2006 22:50:06 +0200 | wenzelm | added serial_string; | changeset | files |
Sun, 30 Apr 2006 22:50:05 +0200 | wenzelm | renamed add_axclass(_i) to define_axclass(_i); | changeset | files |
Sun, 30 Apr 2006 22:50:03 +0200 | wenzelm | AxClass.axiomatize_arity_i; | changeset | files |