path: root/prover_snapshots/hol4/clean

#!/bin/bash

for d in lib/lem lib/sail RV32 RV64; do
  (cd $d; Holmake cleanAll)
done