]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ed93840) | patch
An attempt at ostensiby named syntax.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Thu, 25 Apr 2013 07:15:53 +0000 (07:15 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Thu, 25 Apr 2013 07:15:53 +0000 (07:15 +0000)
commit4a41f041869956a6c98418e6d06b3a2521a1fb2a
treef3cf4ce44ab65bbe4e86390e6386bc8b180c4b46tree | snapshot
parented93840d88912c92da47c4cec1713d9565f361d3commit | diff
An attempt at ostensiby named syntax.
matita/matita/lib/basics/core_notation.ma diff | blob | history
matita/matita/lib/binding/db.ma [new file with mode: 0644] blob
matita/matita/lib/binding/fp.ma [new file with mode: 0644] blob
matita/matita/lib/binding/ln.ma [new file with mode: 0644] blob
matita/matita/lib/binding/ln_concrete.ma [new file with mode: 0644] blob
matita/matita/lib/binding/names.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.