]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cf5d6fa) | patch
The type substitution has been moved into Cic.
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 20 Jul 2004 13:26:56 +0000 (13:26 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 20 Jul 2004 13:26:56 +0000 (13:26 +0000)
commit4767ed3aba79ed1d06c6d4e2d195b77e5bd26db5
treeab3d779d96d8703b39fde9d1ebdf3924f34a71d1tree | snapshot
parentcf5d6fab96c47ccb7d623d72742717d9b08bae7bcommit | diff
The type substitution has been moved into Cic.
helm/ocaml/cic/cic.ml diff | blob | history
helm/ocaml/cic/cicUtil.ml diff | blob | history
helm/ocaml/cic/cicUtil.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.