Canonicalization export script

BraeWebb · BraeWebb · commit edd7e6f01232 · 2022-08-31T14:45:36.000+10:00
diff --git a/.gitignore b/.gitignore
@@ -1,2 +1,3 @@
 **/document/
 **/output/
+export/
diff --git a/export_canonicalizations.sh b/export_canonicalizations.sh
@@ -0,0 +1,5 @@
+#!/bin/bash
+
+isabelle build -vd . NewOptimizations
+isabelle export -d . -x "*:optimizations/*.rules" NewOptimizations
+
