| Fri, 16 Oct 1998 17:32:29 +0200 | nipkow | Mods because of: Installed trans_tac in solver of simpset(). | changeset | files |
| Fri, 16 Oct 1998 17:32:06 +0200 | nipkow | Installed trans_tac in solver of simpset(). | changeset | files |
| Fri, 16 Oct 1998 12:23:07 +0200 | paulson | changed tags from 0, 1 to None, Some() to avoid special treatment of 0 | changeset | files |
| Fri, 16 Oct 1998 12:20:41 +0200 | paulson | parent is Main | changeset | files |
| Fri, 16 Oct 1998 08:48:05 +0200 | nipkow | *** empty log message *** | changeset | files |
| 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 |