]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 576f16e) | patch
some notational experiments
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 16 Feb 2009 16:27:36 +0000 (16:27 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 16 Feb 2009 16:27:36 +0000 (16:27 +0000)
commita57ca0d68754b946b33976acf2e72f45ff11c8d7
treedf5a32d0f86a2bd1979068eccf667035c4a00d72tree | snapshot
parent576f16e9aada87b12526f00c0aa7e15ce8ae7c4acommit | diff
some notational experiments
helm/software/matita/library/nat/pi_p.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.