src/HOL/Mutabelle/etc/settings
2011-03-25 krauss 2011-03-25 eliminated hardwired MUTABELLE_OUTPUT_PATH (cf. 6a147393c62a)
2011-03-13 wenzelm 2011-03-13 more conventional Mutabelle settings -- similar to Mirabelle;
2010-12-20 wenzelm 2010-12-20 tuned/clarified some component settings; explicit comments about common mistakes;
2010-12-08 bulwahn 2010-12-08 improving the mutabelle script
2010-12-06 bulwahn 2010-12-06 adding mutabelle as a component and an isabelle tool to be used in regression testing