]> matita.cs.unibo.it Git - helm.git/commit
added HelmLibraryObjects module
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 12 Jan 2004 17:12:39 +0000 (17:12 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 12 Jan 2004 17:12:39 +0000 (17:12 +0000)
commitf0196d4e96bf8cc579d1690fc6a653adc08ca02e
tree2898cae6b306ecb4d0cd32e9e4abcfe8ef4cfef8
parented9f5fc98f02239d1764be7d0bad32b99beb4f73
added HelmLibraryObjects module
helm/ocaml/cic/.depend
helm/ocaml/cic/Makefile
helm/ocaml/cic/helmLibraryObjects.ml [new file with mode: 0644]