]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 800eb6a) | patch
Dummy dependent types are no longer cleaned in inductive type arities.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 19 May 2008 11:59:37 +0000 (11:59 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 19 May 2008 11:59:37 +0000 (11:59 +0000)
commitbbb941eb47625a07d36e0e45d6172cfa99bca027
tree2d6c8d04c5c798e7f9e118d340c97d3a4c4866d4tree | snapshot
parent800eb6af3e6743a66168e7003e1081b108a78df0commit | diff
Dummy dependent types are no longer cleaned in inductive type arities.
helm/software/matita/contribs/assembly/freescale/byte8.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.