Package empty: The empty theory
Information
| name | empty |
| version | 1.3 |
| description | The empty theory |
| author | Joe Leslie-Hurd <joe@gilith.com> |
| license | MIT |
| checksum | 5ffc1a10473fbd6cfe345586090b9b3a7f5fecee |
Files
- Package tarball empty-1.3.tgz
- Theory source file empty.thy (included in the package tarball)