Project

General

Profile

« Previous | Next » 

Revision 6c56ee87

Added by Katja Luther over 6 years ago

#5908: add a default representation to a term with no representation

  • added
  • modified
  • copied
  • renamed
  • deleted