]> matita.cs.unibo.it Git - helm.git/commit
- setters for data structures now support "commuting conversion"-like
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 1 Oct 2008 12:41:32 +0000 (12:41 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 1 Oct 2008 12:41:32 +0000 (12:41 +0000)
commit55e5bef77f163b29feeb9ad4e83376c5aa301297
treec475748abc90f122e013a7274c582c4b87300829
parent5061952d0632ba8bc77be5cab11fab2f36e1e26f
- setters for data structures now support "commuting conversion"-like
  operations w.r.t. getters
- several axioms have now been proved
- new file env_to_flatenv1 showing an alternative representation of the
  environment
13 files changed:
helm/software/matita/contribs/assembly/compiler/ast_to_astfe.ma
helm/software/matita/contribs/assembly/compiler/ast_type.ma
helm/software/matita/contribs/assembly/compiler/env_to_flatenv.ma
helm/software/matita/contribs/assembly/compiler/env_to_flatenv1.ma [new file with mode: 0755]
helm/software/matita/contribs/assembly/compiler/environment.ma
helm/software/matita/contribs/assembly/compiler/preast_to_ast.ma
helm/software/matita/contribs/assembly/compiler/utility.ma
helm/software/matita/contribs/assembly/freescale/extra.ma
helm/software/matita/contribs/assembly/freescale/medium_tests.ma
helm/software/matita/contribs/assembly/freescale/medium_tests_lemmas.ma
helm/software/matita/contribs/assembly/freescale/status.ma
helm/software/matita/contribs/assembly/string/ascii_min.ma
helm/software/matita/contribs/assembly/string/string.ma