]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/ng_kernel/.depend
snapshot inverse tranformation
[helm.git] / helm / software / components / ng_kernel / .depend
2008-02-19 Enrico Tassisnapshot inverse tranformation
2008-02-18 Enrico Tassisome bits of reduction, reusing psubst
2008-02-13 Enrico Tassireorganization of sources
2008-02-13 Enrico Tassisubstituion and lifting implemented
2008-02-05 Enrico Tassiuri and references(uri)
2008-02-05 Enrico Tassiuri -> reference (2)
2008-01-30 Enrico Tassistub functions to make all compile