Session HOL-Types_To_Sets

Theories

• Types_To_Sets
  • File ‹local_typedef.ML›
  • File ‹unoverloading.ML›
  • File ‹internalize_sort.ML›
  • File ‹unoverload_type.ML›
  • File ‹unoverload_def.ML›
• Prerequisites
• Finite
• T2_Spaces
• Unoverload_Def
• Group_On_With
• Linear_Algebra_On_With
• Linear_Algebra_On