]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 72c9850) | patch
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
tree375e28bb96a4aa31b5de988b00d4234bad89200ftree | snapshot
parent72c9850370ab0e0b02b3d49a837dd442410f8ba6commit | diff
Type expression simplified.
helm/gTopLevel/proofEngineReduction.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.