]> matita.cs.unibo.it Git - helm.git/commit
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
treed3ad011491aedcc32a962b8b64d0f7981989d757
parent71690ba2c49a618d36e5eafcc16726e1ba80f038
Booleans
helm/software/matita/nlibrary/basics/bool.ma [new file with mode: 0644]