Project

General

Profile

« Previous | Next » 

Revision c3e13ca6

IDc3e13ca68559da32194210b6f4afc8e71540e753
Parent 80aa0b2f
Child 309b71a5

Added by Christoph Egger almost 4 years ago

Generate instance of VAR instead of AP for bound variables

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences