Package examples: Retiring the examples theory
Information
| name | examples |
| version | 1.55 |
| description | Retiring the examples theory |
| author | Joe Hurd <joe@gilith.com> |
| license | MIT |
Files
- Package tarball examples-1.55.tgz
- Theory file examples.thy (included in the package tarball)