script making top file

.gitignore

+# Ignore generated top files
+top.lp

prelude/cert_f/prelude.lp

-require prelude.cert_f.booleans prelude.cert_f.equalities
-prelude.cert_f.naturalnumbers prelude.cert_f.notequal

prelude/core/prelude.lp

-require encodings.pvs_core prelude.core.booleans prelude.core.equalities
-prelude.core.notequal prelude.core.if_def

tools/mk_top.sh

+#!/bin/bash
+
+## [./mk_top.sh d] creates a file [d/top.lp] importing all files in [d/]
+
+out="top.lp"
+
+( cd "$1" || exit
+  rm "${out}"
+  for f in *.lp; do
+      p=$(printf '%s/' "$1" | tr -s '/' '.')
+      printf 'require %s%s\n' "${p}" "${f%.lp}" >> "${out}"
+  done )