Steven Eker <eker@csl.sri.com>

Extensions to the strategy language and its reflection in the
functional metalevel implemented by:
Rubén Rafael Rubio Cuéllar <rubenrub@ucm.es>
