Example of a Unfolding Action

Action: 


unfolding
||give 1 then give the given integer
|then
||unfold
Informal description:

Incomplete...

Try this action using Java ANI.

RAT| People

[Created by Luis Carlos. Last edited at 16 Apr 2004 by Luis Carlos]