]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6d46de6) | patch
- lambda_delta: strong normalization of simply typed terms closed!
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 15 Mar 2012 18:00:48 +0000 (18:00 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 15 Mar 2012 18:00:48 +0000 (18:00 +0000)
commit7cf0b6c720e4d7fa05dd25ec0ad0478c0802ba67
treeac05fa4545eae344e511678c18fbee08a8d62374tree | snapshot
parent6d46de64db7b1fee5ab0784fd5b710dbe6d3a9e5commit | diff
- lambda_delta: strong normalization of simply typed terms closed!
- star.ma: transitive closure: support for reverse elimination
matita/matita/contribs/lambda_delta/basic_2/computation/cprs.ma diff | blob | history
matita/matita/contribs/lambda_delta/basic_2/computation/cprs_tstc_vector.ma diff | blob | history
matita/matita/contribs/lambda_delta/basic_2/computation/csn_cpr_vector.ma [new file with mode: 0644] blob
matita/matita/contribs/lambda_delta/basic_2/computation/csn_tstc_vector.ma diff | blob | history
matita/matita/contribs/lambda_delta/basic_2/computation/csn_vector.ma diff | blob | history
matita/matita/contribs/lambda_delta/basic_2/grammar/term_vector.ma diff | blob | history
matita/matita/lib/basics/star.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.