]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 34113d5) | patch
New version of name checking.
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 15 Jul 2005 11:11:42 +0000 (11:11 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 15 Jul 2005 11:11:42 +0000 (11:11 +0000)
commitc0ea287ec40615f72fec8a900ce2e9eb3d23c301
tree3e26de3cbc03636f4f5098032022158dd04132c1tree | snapshot
parent34113d572c334c351ba66f4b05db503eed4d48f2commit | diff
New version of name checking.
helm/ocaml/cic_proof_checking/cicPp.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.