Sunset Tree

Package cl-0.3

Information

versions0.10.2 0.3 0.4 0.5
descriptionCombinatory logic example illustrating inductive definitions in HOL4
authorRamana Kumar <ramana.kumar@gmail.com>
licenseMIT
installed18:02:08 on Wednesday 28 September 2011

For more details see the package document.