this is for holding javascript data
Xavier Holt Renamed File
about 8 years ago
Commit id: bef9b6455448d072aec191b0fb7f99169bd8976d
deletions | additions
diff --git a/begin_proof_The_algorithm_runs__.tex b/begin_claim_The_algorithm_runs__.tex
similarity index 100%
rename from begin_proof_The_algorithm_runs__.tex
rename to begin_claim_The_algorithm_runs__.tex
