Project

General

Profile

« Previous | Next » 

Revision dcc8167f

IDdcc8167f426d2c6648486f0a078751eb102bccb2
Parent 653eaa4b
Child a25a6849

Added by Christoph Egger over 3 years ago

Use custom variables for CTL -> μ

Makes morally same formulas actually the same. Removes the need to
recalculate some States that have already been fully expanded but with
different variable names only (where this is possible)

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences