]> 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)
commitd0a1160d2bf67698ddcaa5f603f316ceb2e4bf96
tree420e6229c3b2ca9564840b9f5b98d66440ea87d0
parent12404305178bb29f7428ba912fce30c524076705
Demodulate_tac now depends on the universe
helm/software/components/grafite_engine/grafiteEngine.ml
helm/software/components/tactics/auto.ml
helm/software/components/tactics/auto.mli
helm/software/components/tactics/tactics.mli