src/HOL/Types_To_Sets/Examples/Prerequisites.thy
3 months ago wenzelm 2019-03-14 tuned whitespace;
5 months ago wenzelm 2019-01-05 isabelle update -u control_cartouches;
7 months ago immler 2018-11-14 generalized local_typedef_ab_group_add
7 months ago immler 2018-11-14 use locales in Group_On_With
2016-12-12 wenzelm 2016-12-12 proper session HOL-Types_To_Sets; NEWS; CONTRIBUTORS; tuned whitespace;