Tue, 29 Sep 1998 15:59:43 +0200 | paulson | new function inter_term | changeset | files |
Tue, 29 Sep 1998 15:58:47 +0200 | paulson | Now id:(Acts prg) is implicit | changeset | files |
Tue, 29 Sep 1998 15:58:25 +0200 | paulson | modified proof for new simproc | changeset | files |