6 年之前 · 1094a2234d
--- a/proofs/old/mint.aux
+++ b/proofs/old/mint.aux
--- a/proofs/old/sapling.pism
+++ b/proofs/old/sapling.pism
--- a/proofs/old/saplingb.prf
+++ b/proofs/old/saplingb.prf
--- a/proofs/old/simple.aux
+++ b/proofs/old/simple.aux
--- a/proofs/old/simple.pism
+++ b/proofs/old/simple.pism
--- a/proofs/old/simple.prf
+++ b/proofs/old/simple.prf
--- a/proofs/old/test.pism
+++ b/proofs/old/test.pism
--- a/proofs/old/working.pism
+++ b/proofs/old/working.pism