Project

General

Profile

« Previous | Next » 

Revision 7cb1f579

Added by LĂ©lio Brun 9 months ago

reintroduce existential for variables that may appear free when performing substitution
hopefully those are less problematic since they actually exists in the program as variables

  • added
  • modified
  • copied
  • renamed
  • deleted