Thu, 15 Oct 1998 12:15:14 +0200 | paulson | integer simprocs | changeset | files |
Thu, 15 Oct 1998 11:38:39 +0200 | paulson | Uses overload_1st_set to specify overloading | changeset | files |
Thu, 15 Oct 1998 11:35:07 +0200 | paulson | specifications as sets of programs | changeset | files |