Package empty: The empty theory

Information

name	empty
version	1.0
description	The empty theory
author	Joe Hurd <joe@gilith.com>
license	MIT

Files

Package tarball empty-1.0.tgz
Theory file empty.thy (included in the package tarball)