Project

General

Profile

« Previous | Next » 

Revision b580c8f8

Added by Xavier Thirioux almost 8 years ago

added subtyping in equations (rhs may be a subtype of lhs)

  • added
  • modified
  • copied
  • renamed
  • deleted