]> matita.cs.unibo.it Git - helm.git/commit
eliminazione di un passaggio di transitività in ast2astfe
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 4 Nov 2008 15:23:36 +0000 (15:23 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 4 Nov 2008 15:23:36 +0000 (15:23 +0000)
commit5688b80cf330cc66038720e04cf7c0293630c163
tree1d23bf125cff41d16312fd0319a3b14872d62d6b
parentb3e08a6954c8b6946f42f5c7e0bed7912d5ac87c
eliminazione di un passaggio di transitività in ast2astfe
dimostrazione di un assioma in env2flatenv
helm/software/matita/contribs/assembly/compiler/ast_to_astfe.ma
helm/software/matita/contribs/assembly/compiler/astfe_tree.ma
helm/software/matita/contribs/assembly/compiler/env_to_flatenv.ma
helm/software/matita/contribs/assembly/compiler/environment.ma
helm/software/matita/contribs/assembly/compiler/preast_tree.ma