mmt

Based on the foundation-independent module system MMT, I propose a general definition of behavior-preserving refactorings, and as the primary example give a method to generalize inversely along MMT morphisms (refinements).