]> matita.cs.unibo.it Git - helm.git/commit
Declarative language ported to new auto (with Universes).
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 27 Nov 2006 13:45:51 +0000 (13:45 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 27 Nov 2006 13:45:51 +0000 (13:45 +0000)
commit8d212b0fb581ab5193be3a3bdfaac8e61cff348c
tree3b3629247cf0ea79f9f07bbfdbd035c2ef1e63ff
parentca485beacf0458a72a6bd4ea024906f4005c720b
Declarative language ported to new auto (with Universes).
helm/software/components/grafite_engine/grafiteEngine.ml
helm/software/components/tactics/declarative.ml
helm/software/components/tactics/declarative.mli