]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f262223) | patch
Reorganization of the library.
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 12 Oct 2007 09:58:25 +0000 (09:58 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 12 Oct 2007 09:58:25 +0000 (09:58 +0000)
commit7bfd412f8023e814ef4b8da290e3c12ba71d5b80
treebe404b89bf3e77b0f86fa4cf09571f1b6433b5d1tree | snapshot
parentf262223fb7b49a191b25d27ecc58818b9d7a357dcommit | diff
Reorganization of the library.
helm/software/matita/library/datatypes/bool.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.