]> matita.cs.unibo.it Git - helm.git/commit - matita/matita/contribs/lambda/xoa_notation.ma
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b5f51e5) | patch
- star.ma: strip lemma and confluence of star
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 18 Dec 2012 16:50:35 +0000 (16:50 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 18 Dec 2012 16:50:35 +0000 (16:50 +0000)
commit2d35cd1602d585ecb2c6623a1b2bd1e0c81aa93b
tree43c05fe2e733f5a6d8d7346dc82ad3a0eb59b865tree | snapshot
parentb5f51e592232d16fb1286f059a597c8ab443b4c4commit | diff
- star.ma: strip lemma and confluence of star
- lambda: confluence of labelled sequential reduction completed!
matita/matita/contribs/lambda/delifting_substitution.ma diff | blob | history
matita/matita/contribs/lambda/labelled_sequential_computation.ma diff | blob | history
matita/matita/contribs/lambda/parallel_computation.ma [new file with mode: 0644] blob
matita/matita/contribs/lambda/term.ma diff | blob | history
matita/matita/contribs/lambda/xoa.conf.xml diff | blob | history
matita/matita/contribs/lambda/xoa.ma diff | blob | history
matita/matita/contribs/lambda/xoa_notation.ma diff | blob | history
matita/matita/lib/basics/star.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.