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)