(* Title: MiniML/MiniML.thy Author: Dieter Nazareth, Wolfgang Naraschewski and Tobias Nipkow Copyright 1996 TU Muenchen *) section "MiniML with type inference rules" theory MiniML imports Generalize begin ― ‹expressions›