]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 71d8526) | patch
1) record projections are now automatically generated
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 21 Jul 2009 20:25:12 +0000 (20:25 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 21 Jul 2009 20:25:12 +0000 (20:25 +0000)
commit16b982158e86f41a8eb6c2375da4d9b96e697b3d
tree1a80a3ca7de9d264ba309caf3ab23adc9de715b0tree | snapshot
parent71d8526b03b2b7f415404074b4a0d51b71afb85acommit | diff
1) record projections are now automatically generated
2) incomplete code commented out
helm/software/matita/nlibrary/algebra/magmas.ma diff | blob | history
helm/software/matita/nlibrary/sets/sets.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.