]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 603bbe2) | patch
Record with simulated manifest types are now used everywhere in
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 29 Dec 2006 14:35:28 +0000 (14:35 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 29 Dec 2006 14:35:28 +0000 (14:35 +0000)
commit1253cd9cbbdef7def40fa4688d8db953f8c99726
treefb6a18e09a154c3e6bd2f83634fcccd1dfc3df24tree | snapshot
parent603bbe202f09745133cefa4902f2b16fb17b70b8commit | diff
Record with simulated manifest types are now used everywhere in
integration_algebras.ma. They seem to work really very well (up to missing
but due syntactic sugar).
helm/software/matita/dama/integration_algebras.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.