matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: c169051) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 29 Nov 2012 15:26:59 +0000 (15:26 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 29 Nov 2012 15:26:59 +0000 (15:26 +0000)
commit	9def1b8a298aac85a7abdc75c4a33657fe7e6df7
tree	9c9661bc46b22891ad386ae585cded94ba191149	tree \| snapshot
parent	c16905138e385d30856d587f07c396a3cab301ed	commit \| diff

- 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]	blob
matita/matita/contribs/lambda/preamble.ma		diff \| blob \| history
matita/matita/contribs/lambda/redex_pointer.ma		diff \| blob \| history
matita/matita/lib/arithmetics/nat.ma		diff \| blob \| history
matita/matita/predefined_virtuals.ml		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.