]> matita.cs.unibo.it Git - helm.git/commit
- most of cicUtil no longer used
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 8 Oct 2010 11:12:09 +0000 (11:12 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 8 Oct 2010 11:12:09 +0000 (11:12 +0000)
commit46391de034097f7d10f2d3ab937bfb4726cb8e8b
tree79d91462e79cff3872b923e4613b0a4dd407e209
parentc3b7b4c8697a146a3d734b5333d655a25a642cb9
- most of cicUtil no longer used
matita/components/cic/cicUtil.ml
matita/components/cic/cicUtil.mli
matita/components/ng_paramodulation/.depend
matita/components/ng_paramodulation/.depend.opt
matita/components/ng_paramodulation/Makefile
matita/components/ng_paramodulation/cicBlob.ml [deleted file]
matita/components/ng_paramodulation/cicBlob.mli [deleted file]