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