Wed, 16 Apr 1997 18:53:36 +0200 | wenzelm | removed lceil, rceil, lfloor, rfloor; | changeset | files |
Wed, 16 Apr 1997 18:51:03 +0200 | wenzelm | fixed perl path (for sunbroys); | changeset | files |
Wed, 16 Apr 1997 18:46:01 +0200 | wenzelm | improved translations for subset symbols syntax: constraints; | changeset | files |
Wed, 16 Apr 1997 18:25:46 +0200 | wenzelm | moved classes / sorts to sorts.ML; | changeset | files |
Wed, 16 Apr 1997 18:23:25 +0200 | wenzelm | renamed subclass to classrel; | changeset | files |
Wed, 16 Apr 1997 18:22:10 +0200 | wenzelm | Sorts.str_of_sort; | changeset | files |
Wed, 16 Apr 1997 18:21:00 +0200 | wenzelm | Sorts.str_of_arity; | changeset | files |