Session HOL-Nitpick_Examples

Theories

• Core_Nits
• Datatype_Nits
• Hotel_Nits
• Induct_Nits
• Integer_Nits
• HOL-Library.Quotient_Syntax
• HOL-Library.Quotient_Product
• Manual_Nits
• Mini_Nits
  • File ‹minipick.ML›
• Mono_Nits
• Pattern_Nits
• Record_Nits
• Refute_Nits
• Special_Nits
• Tests_Nits
• Typedef_Nits
• Nitpick_Examples