se 'wrap_free_constructors' to register 'sum' , 'prod', 'unit', 'bool' with their discriminators/selectors
* * *
cleaner simp/iff sets
This directory contains some administrative tools for clones of the
Isabelle repository. They do not appear in proper distributions.