]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 07d915d) | patch
3rd anniversary milestone
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 16 Apr 2014 16:33:20 +0000 (16:33 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 16 Apr 2014 16:33:20 +0000 (16:33 +0000)
commit3cb5a8e407f0a783c27a4165187578aae980bc39
treeff5f9a8cb67977981c9edecf08fb7916693d1687tree | snapshot
parent07d915d411ffabeb0c7cd678f00cbeca53ae8276commit | diff
3rd anniversary milestone
- recursion removed from alernative definition of lpx_sn
- some corrections and updates
matita/matita/contribs/lambdadelta/basic_2/computation/fpbs_fpbs.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/relocation/lpx_sn_alt.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.