]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 135dd18) | patch
Exact handled in a better way (no more "NO PROOFS").
authorAndrea Asperti <andrea.asperti@unibo.it>
Thu, 24 Jul 2003 14:05:14 +0000 (14:05 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Thu, 24 Jul 2003 14:05:14 +0000 (14:05 +0000)
commit49d5e4fbf175050e4afdf26494eec5231c0eac8d
treebcbec79135d1017f33e528d821cc24b3d1992dfdtree | snapshot
parent135dd1812b3c512cb2d82ba9781e1b4489cdbc04commit | diff
Exact handled in a better way (no more "NO PROOFS").
helm/ocaml/cic_transformations/content2pres.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.