wenzelm [Tue, 22 Jul 1997 17:47:20 +0200] rev 3548
added dest and merge operations;
wenzelm [Tue, 22 Jul 1997 17:46:35 +0200] rev 3547
added pretty_cterm;
wenzelm [Tue, 22 Jul 1997 17:45:42 +0200] rev 3546
improved print_cs;
paulson [Tue, 22 Jul 1997 11:49:59 +0200] rev 3545
Cosmetic changes: margins, indentation, ...
paulson [Tue, 22 Jul 1997 11:49:44 +0200] rev 3544
Now possibility_tac is an explicit function, in order to delay
the evaluation of \!simpset
paulson [Tue, 22 Jul 1997 11:26:02 +0200] rev 3543
Cosmetic changes: margins, indentation, ...
paulson [Tue, 22 Jul 1997 11:23:03 +0200] rev 3542
Now possibility_tac and basic_possibility_tac are explicit functions, in order
to delay the evaluation of \!simpset