]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a3e29f9) | patch
added some notation
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 25 Jul 2007 13:55:53 +0000 (13:55 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 25 Jul 2007 13:55:53 +0000 (13:55 +0000)
commit2210586787c4be8f9c37ddf5ec0ada191f966a5e
treee81cd9338195f0d33afb3b9eb76481f93b78b31etree | snapshot
parenta3e29f98401e8a08957cc2bd7937fdfa38fdeb35commit | diff
added some notation
matita/library/Fsub/defn.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.