]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d51f967) | patch
ground_2: generic rt-transition counter
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 18 Apr 2016 18:30:57 +0000 (18:30 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 18 Apr 2016 18:30:57 +0000 (18:30 +0000)
commite31ce850917b3e95f5158a687626c679e551fd25
tree0645f7b65fc8d1498bd713c57a46baaf6a79e853tree | snapshot
parentd51f9674886d1e609a6ea792b65871dcde4f6503commit | diff
ground_2: generic rt-transition counter
matita/matita/contribs/lambdadelta/ground_2/notation/constructors/onezero_0.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/constructors/tuple_4.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/constructors/zeroone_0.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/constructors/zerozero_0.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/xoa_notation.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/steps/rtc.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/steps/rtc_plus.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/steps/rtc_shift.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/web/ground_2.ldw.xml diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/web/ground_2_src.tbl diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/xoa/xoa.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.