]> matita.cs.unibo.it Git - helm.git/commit
update in basic_2
authorFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Tue, 13 Mar 2018 16:58:12 +0000 (17:58 +0100)
committerFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Tue, 13 Mar 2018 16:58:12 +0000 (17:58 +0100)
commit4738096e93f997fb36d35dd723b87682a2f6de90
tree27e649a5f7a43e87d5a57eec3fdf5e4dbc215c37
parenta5c71699f1d0cf63a769c71dd8b8cd5dfff1933d
update in basic_2

+ advances on fpb completed
matita/matita/contribs/lambdadelta/Makefile
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpb_ffdeq.ma
matita/matita/contribs/lambdadelta/basic_2/s_transition/fqu_length.ma
matita/matita/contribs/lambdadelta/basic_2/s_transition/fqu_tdeq.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2/syntax/tdeq.ma
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl