Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
subtypes
Die als experimentell gekennzeichneten subtypes in subtypes.mmt (in urtheories) soll man lieber noch in Ruhe lassen , oder ?
Ich wusste gar nicht, dass es in urtheories subtypes gibt…
Wenn du subtypes brauchst oder benutzen willst, nimm lieber die aus LFX. Es gibt auch in MitM/Foundation eine theorie “Subtyping” die die dafür geeigneten includet (math.mmt, ganz oben 
)