]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c8c75f8) | patch
Meta implemented.
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 16 Apr 2002 08:33:19 +0000 (08:33 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 16 Apr 2002 08:33:19 +0000 (08:33 +0000)
commit2263f1429dabde87029c31cd81ee7c1ef62136ea
treec95a0cb83030dd6e43f634c2f8cd8cbc90bc0764tree | snapshot
parentc8c75f895d51cfbc257260859653a68f74117179commit | diff
Meta implemented.
helm/ocaml/cic_proof_checking/cicTypeChecker.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.