Project

General

Profile

« Previous | Next » 

Revision 8334c748

ID8334c7482341a15d208bbc59048afbf2ae78c7d9
Parent b2f18312
Child a5f60450

Added by Christoph Egger almost 4 years ago

Read/Write μ-Calculus formulas

TODO: differentiate between APs and VARs on use. VAR is only used during
declaration so far

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences