]> matita.cs.unibo.it Git - helm.git/commit
Nothing important
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 20 Dec 2000 15:15:07 +0000 (15:15 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 20 Dec 2000 15:15:07 +0000 (15:15 +0000)
commit40e7943e21872051f6a88cba2a1e9faa6492b6a3
tree6403e615179163fbb267cc23179f11c3f238f335
parenteb2fea558b637b3ef8eacf3d9e7a6b28d1a3a3a3
Nothing important
helm/EXPORT/export_Rocq_HIGMAN/Makefile
helm/EXPORT/export_Utrecht_Ramsey/Makefile
helm/EXPORT/exportcoq/Makefile
helm/EXPORT/exportcoq/export_contrib_theory.sh
helm/EXPORT/exportcoq/export_theory_theory.sh
helm/EXPORT/exportprove/Makefile
helm/EXPORT/exportprove/exporttheories.sh