helm/hbugs/tutors/.cvsignore

   1 *.cmi
   2 *.cmo
   3 *.cma
   4 *.cmx
   5 *.o
   6 *.a
   7 ring_tutor.ml
   8 fourier_tutor.ml
   9 reflexivity_tutor.ml
  10 symmetry_tutor.ml
  11 assumption_tutor.ml
  12 contradiction_tutor.ml
  13 exists_tutor.ml
  14 split_tutor.ml
  15 left_tutor.ml
  16 right_tutor.ml
  17 ring_tutor
  18 fourier_tutor
  19 reflexivity_tutor
  20 symmetry_tutor
  21 assumption_tutor
  22 contradiction_tutor
  23 exists_tutor
  24 split_tutor
  25 left_tutor
  26 right_tutor
  27 search_pattern_apply_tutor