]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bf816f0) | patch
minor corrections and updates
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 4 Feb 2019 16:06:36 +0000 (17:06 +0100)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 4 Feb 2019 16:06:36 +0000 (17:06 +0100)
commite8fb201bad04ec30867659c2d42ef45a4b6c3393
tree10d9024115fd768622c4e8a54b1406ac18039098tree | snapshot
parentbf816f05ddbe0ded4948dd33490619724dc4f7cfcommit | diff
minor corrections and updates

intensional and extensional equivalence on lists coincide
matita/matita/contribs/lambdadelta/ground_2/lib/list_eq.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/lib/stream.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/lib/stream_eq.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/lib/stream_hdtl.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/lib/stream_tls.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/lib/streams.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/ground_2/lib/streams_eq.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/ground_2/lib/streams_hdtl.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/ground_2/lib/streams_tls.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.