Sunset Tree

Package base-1.2

Information

versions1.0 1.2 1.241.39 ···  1.209
descriptionThe standard theory library
authorJoe Hurd <joe@gilith.com>
licenseMIT
installed05:48:44 on Monday 21 March 2011

For more details see the package document.

Includes

Included By

  • cl-0.2 — Combinatory logic example illustrating inductive definitions in HOL4