| 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 |