]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cead594) | patch
update in basic_2
authorFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Wed, 21 Mar 2018 19:20:36 +0000 (20:20 +0100)
committerFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Wed, 21 Mar 2018 19:20:36 +0000 (20:20 +0100)
commit1fd62f1ce4f8209dec780d80aa53b140a8882ad7
tree2b91feac822ecf76d980cf6e2ddbc7dee1d0761atree | snapshot
parentcead5946e630e5357fb26141252e10868c96a14dcommit | diff
update in basic_2

+ first results on fsb
matita/matita/contribs/lambdadelta/basic_2/etc/fpbs/fpbs_fpb.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/btsn_5.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/btsnalt_5.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predsubtystrong_5.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fsb.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fsb_alt.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fsb_ffdeq.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fsb_fpbg.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/partial.txt 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.