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