]> matita.cs.unibo.it Git - helm.git/commit
Some more datatypes lifted to Type.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 29 Jan 2007 11:12:43 +0000 (11:12 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 29 Jan 2007 11:12:43 +0000 (11:12 +0000)
commit9962ff269442af5e37c7cefe0bb1582f5ed6af61
tree2cf8f5619d14afbbd478323de40d6e3b23305044
parent66c441c40f2b406be1e9c87d2c55a8165be822a3
Some more datatypes lifted to Type.
helm/software/matita/library/datatypes/constructors.ma