Revert "Move permutesTheory to pred_sets/src"

This reverts commit c2a6e1c.
binghe · Jul 25, 2023 · 8d5b870 · 8d5b870
1 parent c2a6e1c
commit 8d5b870
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/src/pred_set/src/permutesScript.sml → ..._set/src/more_theories/permutesScript.sml b/src/pred_set/src/permutesScript.sml → ..._set/src/more_theories/permutesScript.sml