mohamed-barakat/ToolsForHomalg — pull request #7 by sebasguts (2013-01-09 23:43:11+00:00)
Title: Added Trees

TraceProof now works with them, to provide very specific proofs.