hol.sh

#!/bin/sh

fsharpi \
  --lib:NHol \
  --use:system.fsx \
  --use:lib.fs \
  --use:fusion.fs \
  --use:basics.fs \
  --use:nets.fs \
  --use:printer.fs \
  --use:preterm.fs \
  --use:parser.fs \
  --use:equal.fs \
  --use:bool.fs \
  --use:drule.fs \
  --use:tactics.fs \
  --use:itab.fs \
  --use:simp.fs \
  --use:theorems.fs \
  --use:ind_defs.fs \
  --use:class.fs \
  --use:trivia.fs \
  --use:canon.fs \
  --use:meson.fs \
  --use:quot.fs \
  --use:pair.fs \
  --use:nums.fs \
  --use:recursion.fs \
  --use:arith.fs \
  --use:wf.fs \
  --use:calc_num.fs \
  --use:normalizer.fs \
  --use:grobner.fs \
  --use:ind_types.fs \
  --use:lists.fs \
  --use:realax.fs \
  --use:calc_int.fs \
  --use:realarith.fs \
  --use:real.fs \
  --use:calc_rat.fs \
  --use:int.fs \
  --use:sets.fs \
  --use:iterate.fs \
  --use:cart.fs \
  --use:define.fs \
  --use:help.fs \
  --use:database.fs