Project

General

Profile

« Previous | Next » 

Revision 6bbde09c

ID6bbde09cdaeed9163dff9d4c31bbfaaaf1e3091a
Parent 6d64bc5a
Child 1d5d9896

Added by Christoph Egger over 3 years ago

preliminary propafateSat for μ-Calculus

This still produces wrong results: It assumes every node with empty
focus to be sat.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences