diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-07-31 23:39:44 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-07-31 23:39:44 +0900 |
| commit | 93625d3fad9993a8e5187ff85a0c0010b005ffcd (patch) | |
| tree | f2c0f0bc0ca1747f6644bf7d808c7026321225d5 /LICENSE | |
| parent | f515370c1e184e543d747ff1daed2901e90124dc (diff) | |
acl2-theorems: Update messages.
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions