]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 71690ba) | patch
Booleans
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 2 Feb 2010 07:47:13 +0000 (07:47 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 2 Feb 2010 07:47:13 +0000 (07:47 +0000)
commit3ebf7fc2ebf1e7deb9cf860be3c5b540c8cf0b3e
treed3ad011491aedcc32a962b8b64d0f7981989d757tree | snapshot
parent71690ba2c49a618d36e5eafcc16726e1ba80f038commit | diff
Booleans
helm/software/matita/nlibrary/basics/bool.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.