]> matita.cs.unibo.it Git - helm.git/commit - helm/software/matita/contribs/assembly/compiler/preast_to_ast.ma
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5061952) | patch
- 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
treec475748abc90f122e013a7274c582c4b87300829tree | snapshot
parent5061952d0632ba8bc77be5cab11fab2f36e1e26fcommit | diff
- 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 diff | blob | history
helm/software/matita/contribs/assembly/compiler/ast_type.ma diff | blob | history
helm/software/matita/contribs/assembly/compiler/env_to_flatenv.ma diff | blob | history
helm/software/matita/contribs/assembly/compiler/env_to_flatenv1.ma [new file with mode: 0755] blob
helm/software/matita/contribs/assembly/compiler/environment.ma diff | blob | history
helm/software/matita/contribs/assembly/compiler/preast_to_ast.ma diff | blob | history
helm/software/matita/contribs/assembly/compiler/utility.ma diff | blob | history
helm/software/matita/contribs/assembly/freescale/extra.ma diff | blob | history
helm/software/matita/contribs/assembly/freescale/medium_tests.ma diff | blob | history
helm/software/matita/contribs/assembly/freescale/medium_tests_lemmas.ma diff | blob | history
helm/software/matita/contribs/assembly/freescale/status.ma diff | blob | history
helm/software/matita/contribs/assembly/string/ascii_min.ma diff | blob | history
helm/software/matita/contribs/assembly/string/string.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.