helm/EXPORT/exportcoq/exporttheories.sh

   1 #!/bin/bash
   2
   3 ./export_theory_theory.sh Arith
   4 ./export_theory_theory.sh Bool
   5 ./export_theory_theory.sh Init
   6 ./export_theory_theory.sh Lists
   7 ./export_theory_theory.sh Logic
   8 ./export_theory_theory.sh Reals
   9 ./export_theory_theory.sh Relations
  10 ./export_theory_theory.sh Sets
  11 #./export_theory_theory.sh SORTING
  12 #./export_theory_theory.sh TREES
  13 ./export_theory_theory.sh Wellfounded
  14 ./export_theory_theory.sh Zarith
  15
  16 ./export_contrib_theory.sh omega
  17 ./export_contrib_theory.sh ring