src/HOL/Types_To_Sets/unoverload_type.ML
5 months ago immler 2019-05-13 amended to unoverload actually all parameters of a type variable
9 months ago immler 2019-01-18 restore type variable names in unoverload_type
9 months ago wenzelm 2019-01-05 isabelle update -u control_cartouches;
16 months ago immler 2018-06-13 tuned exception
16 months ago immler 2018-06-13 restructured
16 months ago immler 2018-06-13 result of unoverload is not in normal form
16 months ago immler 2018-06-13 tuned
16 months ago immler 2018-06-13 allow for a list of vars
16 months ago immler 2018-06-13 parse var
16 months ago immler 2018-06-12 tuned
16 months ago immler 2018-06-12 workaround: in internalize_sort, Thm.unconstrainT can rename type variables and therefore invalidate new_tvar
16 months ago immler 2018-06-12 a derived rule combining unoverload and internalize_sort