Use sets rather than lists to store simplifier free variables

[mn200]

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.

Want to back this issue? Post a bounty on it! We accept bounties via Bountysource.