]> 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)
commitb4027b84fae91e907b6874060b91d89b6a1ad780
treea7d40434ca88de582a50c96d3018931e1768b49b
parent6dd842fc0aede1ea6e345789f7051ce7cfa9c8c2
alpha equivalence test factorized and moved to CicUtil
helm/software/components/acic_procedural/acic2Procedural.ml
helm/software/components/cic/cicUtil.ml
helm/software/components/cic/cicUtil.mli
helm/software/components/cic_acic/doubleTypeInference.ml
helm/software/components/tactics/inversion.ml
helm/software/components/tactics/primitiveTactics.ml
helm/software/components/tactics/proofEngineReduction.ml
helm/software/components/tactics/proofEngineReduction.mli