]> matita.cs.unibo.it Git - helm.git/commit
Demodulate_tac now depends on the universe
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 29 Nov 2006 08:00:09 +0000 (08:00 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 29 Nov 2006 08:00:09 +0000 (08:00 +0000)
commitb0612e00b2a905510439d9a6e8908497c1b74c61
tree87149b3fcefe830c48bbf13cccafe163f5f22d65
parent18c16056c2858405c899ab027ec7e7ba2cc967b4
Demodulate_tac now depends on the universe
components/grafite_engine/grafiteEngine.ml
components/tactics/auto.ml
components/tactics/auto.mli
components/tactics/tactics.mli