]> matita.cs.unibo.it Git - helm.git/commit
Obj.magic are now generated to extract dependently typed MutCases.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 5 Nov 2007 14:29:47 +0000 (14:29 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 5 Nov 2007 14:29:47 +0000 (14:29 +0000)
commit1d3a609d2c031828553e33f59b4db42a5b9ff46f
tree9c6d2606dd7a3850b74a8656223b0296fc41d924
parent6a248ceeb4ea05b211328d183fdc78462ee807ca
Obj.magic are now generated to extract dependently typed MutCases.
helm/software/components/METAS/meta.helm-cic_exportation.src
helm/software/components/cic_exportation/cicExportation.ml