]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: df8e8b8) | patch
Integrations
authormatitaweb <claudio.sacerdoticoen@unibo.it>
Wed, 22 Feb 2012 12:31:42 +0000 (12:31 +0000)
committermatitaweb <claudio.sacerdoticoen@unibo.it>
Wed, 22 Feb 2012 12:31:42 +0000 (12:31 +0000)
commitf1ef0a9e283af00cace679efd5775062c2a8f05c
tree89534b5020bbb91862a41b535b7e7f31fed8cb7atree | snapshot
parentdf8e8b840c36a1a789ec7bebc47c3cc8aca4f663commit | diff
Integrations
weblib/basics/bool.ma diff | blob | history
weblib/basics/logic.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.