]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2263f14) | patch
type_of_aux' exported.
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 16 Apr 2002 08:33:53 +0000 (08:33 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 16 Apr 2002 08:33:53 +0000 (08:33 +0000)
commite03b8b3e48d88ac84f9f92424e72361500b76a18
tree01f3cfd19094253df49ba22d620d037769985939tree | snapshot
parent2263f1429dabde87029c31cd81ee7c1ef62136eacommit | diff
type_of_aux' exported.
helm/ocaml/cic_proof_checking/cicTypeChecker.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.