mn200/HOL — Issue #53: Use sets rather than lists to store simplifier free variables
Author: mn200
Created: 2012-02-02 01:43:55+00:00
State: open
Labels: Feature Request

The `trav_state` (in `Traverse.sml`) and `congproc` (in `Opening.sml`) types both use `term list` to store the free variables of the context. These should probably be `term HOLset.set`.