Fri, 01 Aug 1997 09:39:28 +0200 | nipkow | Added {x.x=a} = a to !simpset. | changeset | files |
Fri, 25 Jul 1997 14:31:48 +0200 | wenzelm | removed split_paired_Ex; | changeset | files |
Fri, 25 Jul 1997 13:59:15 +0200 | nipkow | new simproc | changeset | files |