src/Pure/soft_type_system.ML
10 months ago wenzelm 2019-07-16 support for a soft-type system within the Isabelle logical framework;