]> matita.cs.unibo.it Git - helm.git/commit
advances non lfsx ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 4 Apr 2017 17:14:20 +0000 (17:14 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 4 Apr 2017 17:14:20 +0000 (17:14 +0000)
commitd0e3208d69d24a9dc9e066e381f1601bc8e109be
tree8c752a99bb9326aaa434fc13dba5b579f7fb53a9
parent5224d5d0ff327a2360c9acd282af66ceed8788fc
advances non lfsx ...
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfsx.ma
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfsx_lfsx.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2/static/lfdeq_lfdeq.ma
matita/matita/contribs/lambdadelta/basic_2/static/lfxs.ma
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl