miz3/test.ml

   1 loadt "miz3/Samples/samples.ml";;
   2 loadt "miz3/Samples/sample.ml";;
   3 loadt "miz3/Samples/talk.ml";;
   4 loadt "miz3/Samples/drinker.ml";;
   5 loadt "miz3/Samples/irrat2.ml";;
   6 loadt "miz3/Samples/lagrange.ml";;
   7 loadt "miz3/Samples/lagrange1.ml";;
   8 loadt "miz3/Samples/icms.ml";;
   9 loadt "miz3/Samples/other_mizs.ml";;
  10 loadt "miz3/Samples/robbins.ml";;
  11 loadt "miz3/Samples/forster.ml";;
  12 loadt "miz3/Samples/luxury.ml";;
  13 loadt "miz3/Samples/tobias.ml";;