]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b834d63) | patch
list.ma moved inside lists.
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 9 Dec 2011 10:43:51 +0000 (10:43 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 9 Dec 2011 10:43:51 +0000 (10:43 +0000)
commit844794906f5a9f97406d72b5305ce13fb75acf94
tree803d50668002d580443c6ef3916f003cdeb95499tree | snapshot
parentb834d6352d377911404b13aa400818f8861cbc9acommit | diff
list.ma moved inside lists.
Minor integrations.
matita/matita/lib/basics/bool.ma diff | blob | history
matita/matita/lib/basics/list.ma [deleted file] blob | history
matita/matita/lib/basics/sets.ma diff | blob | history
matita/matita/lib/basics/types.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.