Project

General

Profile

« Previous | Next » 

Revision 19f5dad0

ID19f5dad0998e9388c99e376729a1ca2b9df80991
Parent 3ef64e13
Child bbfe7b6e

Added by Dirk Pattinson over 4 years ago

Added Identity Functor and Skeleton for Default Implication

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences