]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 33c1a9b) | patch
Aczel categories finished
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 29 Oct 2005 18:03:03 +0000 (18:03 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 29 Oct 2005 18:03:03 +0000 (18:03 +0000)
commita1dbfbc43a9f01eaf64d4f2cc66d6be1ac6943ce
tree2840563f423284a3fd4f90481507d784327d28ddtree | snapshot
parent33c1a9bcd41a8cee8de2717d11eb0e40b98bacaacommit | diff
Aczel categories finished
quantification domains started
helm/matita/contribs/PREDICATIVE-TOPOLOGY/ac_defs.ma diff | blob | history
helm/matita/contribs/PREDICATIVE-TOPOLOGY/qd_defs.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.