Project

General

Profile

« Previous | Next » 

Revision 77f7da85

ID77f7da855b779209199c15eabe6f239244f56c16
Parent 682787c5
Child 994d7911

Added by Daniel Hausmann about 2 months ago

Add more formula families to gen.ml

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences