]> matita.cs.unibo.it Git - helm.git/commit
more on lfpx_frees.ma ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 29 Sep 2016 15:07:41 +0000 (15:07 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 29 Sep 2016 15:07:41 +0000 (15:07 +0000)
commit045c74915022181e288d9a950cc485437b08d002
treefc4b7698f22ab5a2e7af101c50af34cff4cffa3c
parenta041f17ec3bee5a321e6feee9937229e93c39a72
more on lfpx_frees.ma ...
matita/matita/contribs/lambdadelta/basic_2/relocation/lexs.ma
matita/matita/contribs/lambdadelta/basic_2/relocation/lexs_lexs.ma
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpx_frees.ma
matita/matita/contribs/lambdadelta/basic_2/static/lfxs.ma
matita/matita/contribs/lambdadelta/basic_2/static/lfxs_main.ma
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_coafter.ma
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_sle.ma
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_sor.ma