]> matita.cs.unibo.it Git - helm.git/commit
- labelled sequential reduction started ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 29 Nov 2012 15:26:59 +0000 (15:26 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 29 Nov 2012 15:26:59 +0000 (15:26 +0000)
commit9def1b8a298aac85a7abdc75c4a33657fe7e6df7
tree9c9661bc46b22891ad386ae585cded94ba191149
parentc16905138e385d30856d587f07c396a3cab301ed
- labelled sequential reduction started ...
- bug fix in precedence relation on redex pointers
matita/matita/contribs/lambda/labelled_sequential_reduction.ma [new file with mode: 0644]
matita/matita/contribs/lambda/preamble.ma
matita/matita/contribs/lambda/redex_pointer.ma
matita/matita/lib/arithmetics/nat.ma
matita/matita/predefined_virtuals.ml