-
Kai Wendel authored
Changed TypeTag names so that it can be distinguished from the class names. efm and mhs do still need small corrections
b6811e2e
Changed TypeTag names so that it can be distinguished from the class names. efm and mhs do still need small corrections