]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f4b01f8) | patch
Reorganization of list library (step 1)
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 26 Mar 2008 17:59:11 +0000 (17:59 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 26 Mar 2008 17:59:11 +0000 (17:59 +0000)
commitbfb7fbf61e86114e49cb3671503e8307a4582342
treed0a6e21db72c82885240196d73b040371749bd3etree | snapshot
parentf4b01f86f36f3b1ee11f383e3c056a458a76cb96commit | diff
Reorganization of list library (step 1)
helm/software/matita/contribs/POPLmark/Fsub/defn.ma diff | blob | history
helm/software/matita/contribs/POPLmark/Fsub/part1a.ma diff | blob | history
helm/software/matita/contribs/POPLmark/Fsub/part1a_inversion.ma diff | blob | history
helm/software/matita/contribs/POPLmark/Fsub/util.ma diff | blob | history
helm/software/matita/library/decidable_kit/list_aux.ma diff | blob | history
helm/software/matita/library/list/in.ma [new file with mode: 0644] blob
helm/software/matita/library/list/list.ma diff | blob | history
helm/software/matita/library/list/sort.ma diff | blob | history
helm/software/matita/library/nat/bertrand.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.