menu

Adhoc_Overloading
Ackermann
Cantor
Coherent
Commands
Drinker
Functions
Gauss_Numbers
Groebner_Examples
Iff_Oracle
Induction_Schema
Knaster_Tarski
ML
Peirce
Records
Reflection_Examples
Rewrite_Examples
Seq
Sqrt

HOL-Examples.Reflection_Examples

HTML Presentation