]> matita.cs.unibo.it Git - helm.git/commit
...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 27 Oct 2005 13:42:24 +0000 (13:42 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 27 Oct 2005 13:42:24 +0000 (13:42 +0000)
commitbf7e3e1fa84572e0430c12b1ec0ed57844ab5e30
tree2e581887a7d01bb11c5008b68f57c67c5ae33db4
parentc1a61a192cff022800681b0c14d6c0413ba0cf2a
...
helm/matita/.depend
helm/ocaml/cic_notation/.depend
helm/ocaml/cic_unification/.depend
helm/ocaml/paramodulation/.depend