]> matita.cs.unibo.it Git - helm.git/commit
Type expression simplified.
authorMichele Galatà <??>
Thu, 29 Aug 2002 13:19:02 +0000 (13:19 +0000)
committerMichele Galatà <??>
Thu, 29 Aug 2002 13:19:02 +0000 (13:19 +0000)
commita93e4b83ec988ad0b41eb8ea36f127613c12e16b
tree375e28bb96a4aa31b5de988b00d4234bad89200f
parent72c9850370ab0e0b02b3d49a837dd442410f8ba6
Type expression simplified.
helm/gTopLevel/proofEngineReduction.mli