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