]> matita.cs.unibo.it Git - helm.git/commit
alpha equivalence test factorized and moved to CicUtil
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 4 Apr 2007 12:36:33 +0000 (12:36 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 4 Apr 2007 12:36:33 +0000 (12:36 +0000)
commit1dd2a5ffce1a935d18372d298e0d85df96ef53bd
treea9ef0b9280b4f6a1c81cf0b7c58d9bc5f4ed1c64
parentef0bdef694e3c287d9dedfce33f67ccc355ec196
alpha equivalence test factorized and moved to CicUtil
components/acic_procedural/acic2Procedural.ml
components/cic/cicUtil.ml
components/cic/cicUtil.mli
components/cic_acic/doubleTypeInference.ml
components/tactics/inversion.ml
components/tactics/primitiveTactics.ml
components/tactics/proofEngineReduction.ml
components/tactics/proofEngineReduction.mli