Project

General

Profile

« Previous | Next » 

Revision a5956399

Added by skyjake almost 22 years ago

Don't use F_ForAll for non-wild names

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences