]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7c33d28) | patch
universal quantifier added
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 16 Nov 2005 11:08:57 +0000 (11:08 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 16 Nov 2005 11:08:57 +0000 (11:08 +0000)
commita7667815758ad8e3cf2a9921c0ccfb9bcb29bb54
treecfbf711b19fbd4d2a1705a52b07a372e3b4d2229tree | snapshot
parent7c33d285b07538e7cf6be9dd9332e164c47904fecommit | diff
universal quantifier added
helm/matita/contribs/PREDICATIVE-TOPOLOGY/qd_defs.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.