]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fcc4e47) | patch
the filled object is inserted in the env after a successful typechecking
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 3 Oct 2005 08:16:07 +0000 (08:16 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 3 Oct 2005 08:16:07 +0000 (08:16 +0000)
commit74b79a859c4bdfbc82d6bb05bb9b28501082bbc7
treecd4a4bb17190cf7edcdb7faf8a1df987ec6d0755tree | snapshot
parentfcc4e47ab6406a9a666471e017b81cf364195866commit | diff
the filled object is inserted in the env after a successful typechecking
helm/ocaml/cic_proof_checking/cicTypeChecker.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.