Skip to content
  • Björn Brandenburg's avatar
    move basic facts out of behavior/ folder · 80bd79d5
    Björn Brandenburg authored
    Rationale: reserve the behavior folder for trace-based semantics.
    
    These lemmas really constitute an analysis of the basic consequences
    arising from the chosen semantics and hence logically belong to the
    "analysis" part of Prosa.
    80bd79d5