]> matita.cs.unibo.it Git - helm.git/history - matita/matita/lib/lambda-delta/Makefile
the generation of the multiple conjunction is now supported!
[helm.git] / matita / matita / lib / lambda-delta / Makefile
2011-07-28 Ferruccio Guidixoa: new binary for the generation of multiple logical...