Project

General

Profile

« Previous | Next » 

Revision b078517b

IDb078517b6f879e38b0b3e02385c6970601ed5377
Parent 88a1a18b
Child 682787c5

Added by Hans-Peter Deifel about 2 months ago

Fix printing of modality of the identity functor

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences