Sunset Tree

Package cl-0.2

Information

versions0.1→ 0.2 →0.3→0.4→ 0.5
descriptionCombinatory logic example illustrating inductive definitions in HOL4
authorRamana Kumar <ramana.kumar@gmail.com>
licenseMIT
installed08:35:23 on Saturday 17 September 2011

For more details see the package document.

Includes

  • base-1.2 — The standard theory library