]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0e3962b) | patch
- exclusion binder in local environments
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 2 Nov 2017 17:34:36 +0000 (17:34 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 2 Nov 2017 17:34:36 +0000 (17:34 +0000)
commitbe2870b722324a1813ac9e72ebcb2cda6c8733d7
tree4430e532491a94cd8880bd76386c46bdd996e6d4tree | snapshot
parent0e3962b42f821bd7a2b30345a02488958d70fa2fcommit | diff
- exclusion binder in local environments
  the update is now complete, after bugs fixed in lfdeq.ma
- minor corrections
matita/matita/contribs/lambdadelta/Makefile diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/lpxs/lpxs_fqus.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_csx.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_csx_vector.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_fpbs.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbs_csx.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfpxs_fqus.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfsx.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/partial.txt diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/static/lfdeq.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.