]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f920111) | patch
xoa: new binary for the generation of multiple logical constants
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 28 Jul 2011 11:14:01 +0000 (11:14 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 28 Jul 2011 11:14:01 +0000 (11:14 +0000)
commit4de2411d2cecf21630f6675f58e64f8ec6de9b60
treee344c27a106137a9d598f3b99806b0d9e11b6859tree | snapshot
parentf9201115d73cc65ab2aadc1a7c94cd52564d3b2ecommit | diff
xoa: new binary for the generation of multiple logical constants
lambda-delta: integration with xoa and a lemma about a xoa constant
12 files changed:
matita/components/binaries/Makefile.common [new file with mode: 0644] blob
matita/components/binaries/xoa/Makefile [new file with mode: 0644] blob
matita/components/binaries/xoa/ast.ml [new file with mode: 0644] blob
matita/components/binaries/xoa/engine.ml [new file with mode: 0644] blob
matita/components/binaries/xoa/engine.mli [new file with mode: 0644] blob
matita/components/binaries/xoa/lib.ml [new file with mode: 0644] blob
matita/components/binaries/xoa/lib.mli [new file with mode: 0644] blob
matita/components/binaries/xoa/xoa.ml [new file with mode: 0644] blob
matita/matita/lib/lambda-delta/Makefile [new file with mode: 0644] blob
matita/matita/lib/lambda-delta/syntax/item.ma diff | blob | history
matita/matita/lib/lambda-delta/xoa.conf.xml [new file with mode: 0644] blob
matita/matita/lib/lambda-delta/xoa_props.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.