]> matita.cs.unibo.it Git - helm.git/commit
Final version, submitted to CASC-22.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 20 Jul 2009 17:12:17 +0000 (17:12 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 20 Jul 2009 17:12:17 +0000 (17:12 +0000)
commit643b05ff81a8bfab0924c23bf3299c1fd47183f5
tree527186d9d57f5c9c47f2ad63154a4b422f907f02
parent9450b36b5e385818adbcda257fa74260c2979fcd
Final version, submitted to CASC-22.
helm/software/components/binaries/matitaprover/Makefile
helm/software/components/binaries/matitaprover/hTopoSort.ml [new symlink]
helm/software/components/binaries/matitaprover/hTopoSort.mli [new symlink]
helm/software/components/binaries/matitaprover/matitaprover.ml