src/HOL/Mutabelle/etc/settings
2010-12-06 bulwahn 2010-12-06 adding mutabelle as a component and an isabelle tool to be used in regression testing