From 255a31d5ccc1f2c8e3997a469d71e749e1e8b3e3 Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Sun, 1 Aug 2021 02:09:54 +0900
Subject: README: Update README.md file.

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 872f94c..0cd41b2 100644
--- a/README.md
+++ b/README.md
@@ -1,5 +1,5 @@
 [![CI](https://ci.tojo.tokyo/badge/acl2-theorems.svg)](https://ci.tojo.tokyo/jobs/acl2-theorems)
 
-# README
+# acl2-theorems
 
-ACL2 で証明した定理を置く場所です。
+練習のために ACL2 で証明した定理を置くリポジトリです。
-- 
cgit v1.2.3