]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9d3dcd6) | patch
uses CicUniv new assertions
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 29 Apr 2005 08:07:53 +0000 (08:07 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 29 Apr 2005 08:07:53 +0000 (08:07 +0000)
commit8c23828f150c4ad352b383370201145a44e69f74
tree2206ccb3c95ef4517818c3a0af93467a1057ac00tree | snapshot
parent9d3dcd6970c1e24c8191f268c441e42c8d8b6c89commit | diff
uses CicUniv new assertions
helm/ocaml/cic_proof_checking/cicEnvironment.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.