ECRM Log

Martin (20160822):

  • haben grad festgestellt, dass P160/161 keine inversen haben
  • P156 ebenso
  • P9i ist nicht als subprop deklariert
  • bei P26/27 muss auch die subprop-beziehung geprüftz werden. die ist zw. prop und inversen nicht einheitlich
  • P46 ebenso