]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2808f22) | patch
Added a new function in_cache to cicEnvironemt. It takes an uri
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 5 Apr 2004 13:58:54 +0000 (13:58 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 5 Apr 2004 13:58:54 +0000 (13:58 +0000)
commit8a2a631e9c2541e3b1906b5be71ebfd506b7ebf4
tree6bb11bc75360b937c3e22f16d6b6c2ec1a84c91etree | snapshot
parent2808f22f809adfa90fc609a10f250b788d873ffacommit | diff
Added a new function in_cache to cicEnvironemt. It takes an uri
and returns true or false according to the fact that uri is or
is not in the cache
helm/ocaml/cic_proof_checking/cicEnvironment.ml diff | blob | history
helm/ocaml/cic_proof_checking/cicEnvironment.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.