]> matita.cs.unibo.it Git - helm.git/commit
dependence to legacy/coq.ma fixed
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 30 Dec 2006 18:59:14 +0000 (18:59 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 30 Dec 2006 18:59:14 +0000 (18:59 +0000)
commit0582a602f0b1d6f5430326893a473d78b0aa7dfd
treebcde8de67103371399178ddb21b6caae35882932
parent2bc5d5bfa8278945527b3f36ffd467802899b148
 dependence to legacy/coq.ma fixed
37 files changed:
helm/software/matita/tests/absurd.ma
helm/software/matita/tests/apply.ma
helm/software/matita/tests/assumption.ma
helm/software/matita/tests/bad_tests/auto.ma
helm/software/matita/tests/bool.ma
helm/software/matita/tests/change.ma
helm/software/matita/tests/clear.ma
helm/software/matita/tests/clearbody.ma
helm/software/matita/tests/comments.ma
helm/software/matita/tests/constructor.ma
helm/software/matita/tests/continuationals.ma
helm/software/matita/tests/contradiction.ma
helm/software/matita/tests/cut.ma
helm/software/matita/tests/decompose.ma
helm/software/matita/tests/demodulation_coq.ma
helm/software/matita/tests/dependent_injection.ma
helm/software/matita/tests/discriminate.ma
helm/software/matita/tests/elim.ma
helm/software/matita/tests/fguidi.ma
helm/software/matita/tests/fix_betareduction.ma
helm/software/matita/tests/fold.ma
helm/software/matita/tests/generalize.ma
helm/software/matita/tests/hard_refine.ma
helm/software/matita/tests/injection.ma
helm/software/matita/tests/inversion.ma
helm/software/matita/tests/inversion2.ma
helm/software/matita/tests/metasenv_ordering.ma
helm/software/matita/tests/paramodulation.ma
helm/software/matita/tests/paramodulation/boolean_algebra.ma
helm/software/matita/tests/paramodulation/group.ma
helm/software/matita/tests/replace.ma
helm/software/matita/tests/rewrite.ma
helm/software/matita/tests/simpl.ma
helm/software/matita/tests/test2.ma
helm/software/matita/tests/test3.ma
helm/software/matita/tests/test4.ma
helm/software/matita/tests/unfold.ma