diff options
| -rw-r--r-- | mmm/README.mmm-for-ProofGeneral (renamed from mmm/README.ProofGeneral) | 0 | ||||
| -rw-r--r-- | x-symbol/README.x-symbol-for-ProofGeneral (renamed from x-symbol/README.ProofGeneral) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/mmm/README.ProofGeneral b/mmm/README.mmm-for-ProofGeneral index ad4f9dca..ad4f9dca 100644 --- a/mmm/README.ProofGeneral +++ b/mmm/README.mmm-for-ProofGeneral diff --git a/x-symbol/README.ProofGeneral b/x-symbol/README.x-symbol-for-ProofGeneral index 62dad2ed..62dad2ed 100644 --- a/x-symbol/README.ProofGeneral +++ b/x-symbol/README.x-symbol-for-ProofGeneral |