Project

General

Profile

« Previous | Next » 

Revision 7cb1f579

Added by Lélio Brun over 3 years 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