Project

General

Profile

« Previous | Next » 

Revision d29d35f7

IDd29d35f73f3439c7e91ccccda22a3f2a59c50892
Parent 8cac0897
Child 508e3c33

Added by Christoph Egger almost 4 years ago

Actually represent variable under μ/ν as string

so it's `MU of string * formula` again. The variable within the formula
is still represented as `VAR s`

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences