]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2983f88) | patch
- lambda_delta: context-free weak head normal forms continued ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 16 Nov 2011 23:40:42 +0000 (23:40 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 16 Nov 2011 23:40:42 +0000 (23:40 +0000)
commit9581b03be2b2bc830820b93992920aaa2c021cc9
tree6741e406779ff154c9098efa8ab3f6e570355ad9tree | snapshot
parent2983f88c7fedc8973e1104322fa884fb6b3cfb30commit | diff
- lambda_delta: context-free weak head normal forms continued ...
-               delift started ...
- nnAuto: we removed an optimization that breaks lambda_delta
matita/components/ng_tactics/nnAuto.ml diff | blob | history
matita/matita/contribs/lambda_delta/Basic_2/grammar/thom.ma diff | blob | history
matita/matita/contribs/lambda_delta/Basic_2/reducibility/twhnf.ma diff | blob | history
matita/matita/contribs/lambda_delta/Basic_2/substitution/tps.ma diff | blob | history
matita/matita/contribs/lambda_delta/Basic_2/unfold/delift.ma [new file with mode: 0644] blob
matita/matita/contribs/lambda_delta/Basic_2/unfold/tsubst.ma [deleted file] blob | history
matita/matita/contribs/lambda_delta/Ground_2/xoa.conf.xml diff | blob | history
matita/matita/contribs/lambda_delta/Ground_2/xoa.ma diff | blob | history
matita/matita/contribs/lambda_delta/Ground_2/xoa_notation.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.