]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b098ae0) | 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)
commit87da9f97fb41575b986b9567265abef4e67d07af
treef743ed40365355a1ec0c9b450dac4cf8c881b8fbtree | snapshot
parentb098ae0cb12a818332cb3241ccaf76f99c4221a5commit | 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).
matita/dama/integration_algebras.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.