matita.cs.unibo.it Git - helm.git/commit - helm/ocaml/library/coercGraph.ml

]> matita.cs.unibo.it Git - helm.git/commit - helm/ocaml/library/coercGraph.ml

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 06dbe09) | patch

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Wed, 30 Nov 2005 12:33:06 +0000 (12:33 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Wed, 30 Nov 2005 12:33:06 +0000 (12:33 +0000)
commit	727ef55d2a6202a989c274f6caa1b0e1b7307880
tree	8c617f7f68625d21c08f163e42ab7c60644d038e	tree \| snapshot
parent	06dbe094092da9e14a1719958d7a475da5e05aea	commit \| diff

coercGraph.ml* moved from cic_unification to library

helm/ocaml/cic_unification/.depend		diff \| blob \| history
helm/ocaml/cic_unification/Makefile		diff \| blob \| history
helm/ocaml/cic_unification/coercGraph.ml	[deleted file]	blob \| history
helm/ocaml/cic_unification/coercGraph.mli	[deleted file]	blob \| history
helm/ocaml/library/.depend		diff \| blob \| history
helm/ocaml/library/Makefile		diff \| blob \| history
helm/ocaml/library/coercGraph.ml	[new file with mode: 0644]	blob
helm/ocaml/library/coercGraph.mli	[new file with mode: 0644]	blob

Unnamed repository; edit this file 'description' to name the repository.