]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aedbc97) | patch
\vee notation for boolean or
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 7 Dec 2011 08:13:17 +0000 (08:13 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 7 Dec 2011 08:13:17 +0000 (08:13 +0000)
commit9490a4ae2615e23c9ab4b6dc13ef6c699ce33120
tree60aabb1e242e344e87c762008498770cd120ed9atree | snapshot
parentaedbc9769bb8e65b2a99ef86c44b446b0f9a2dc7commit | diff
\vee notation for boolean or
matita/matita/lib/re/re.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.