]> matita.cs.unibo.it Git - helm.git/commit - helm/ocaml/cic/libraryObjects.mli
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d44115e) | patch
Rewriting steps using the rewriting principles in the library of Matita are
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 30 Jan 2006 16:14:49 +0000 (16:14 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 30 Jan 2006 16:14:49 +0000 (16:14 +0000)
commit5d86c5b5ef8d3c4b92bd00a1aebdad10143bc58e
tree7b1664ba1b1edbff9d551fe49f512aacf70f8f8ftree | snapshot
parentd44115e936254b8d77b12a659f5e5d8ca85d8663commit | diff
Rewriting steps using the rewriting principles in the library of Matita are
now supported.
helm/ocaml/acic_content/acic2content.ml diff | blob | history
helm/ocaml/cic/libraryObjects.ml diff | blob | history
helm/ocaml/cic/libraryObjects.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.