Project

General

Profile

« Previous | Next » 

Revision a5956399

Added by skyjake over 21 years ago

Don't use F_ForAll for non-wild names

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences