]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/ng_kernel/oCic2NCic.ml
Avoid application to 0 arguments.
[helm.git] / helm / software / components / ng_kernel / oCic2NCic.ml
2008-02-21 Claudio Sacerdoti... Avoid application to 0 arguments.
2008-02-20 Enrico Tassisplat_args is now better understood and debugged: we...
2008-02-20 Enrico Tassiadded small test, fixed some bugs
2008-02-20 Enrico Tassimany fixed in translation functions
2008-02-19 Enrico Tassi...
2008-02-19 Enrico Tassisnapshot inverse tranformation
2008-02-19 Enrico Tassitransformation almost finisced, not tested
2008-02-13 Enrico Tassiconversion half inplemented
2008-01-30 Enrico Tassistub functions to make all compile