]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3c8da07) | patch
update in basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 5 May 2018 10:20:33 +0000 (12:20 +0200)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 5 May 2018 10:20:33 +0000 (12:20 +0200)
commit4f9165b052ea5e6141da50c7a8294515fe2743de
treec81544194976291ae7ad36bb4837afd8ede87c25tree | snapshot
parent3c8da07d7a5d7cf0432a83732a6d103f527afaefcommit | diff
update in basic_2

+ list length is now in a separate file
matita/matita/contribs/lambdadelta/ground_2/lib/list.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/lib/list_length.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/web/ground_2_src.tbl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.