]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d64caa3) | patch
- some commutations between the rt-steps and the s-steps proved
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 26 Jan 2017 21:13:39 +0000 (21:13 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 26 Jan 2017 21:13:39 +0000 (21:13 +0000)
commitb5ded5b0c305b30349339b24760820154f7de390
tree494d06801f46187312ada99be9f0e0b9bf527c93tree | snapshot
parentd64caa33426da23e1ab75eca50f227c40e95a24bcommit | diff
- some commutations between the rt-steps and the s-steps proved
- some bugs fixed
matita/components/binaries/Makefile diff | blob | history
matita/components/binaries/Makefile.common diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_tdeq.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_fqus.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/hls.ml diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/partial.txt diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/syntax/tdeq.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.