isabelle: Changelog

hoelzl [Fri, 22 Apr 2016 15:18:46 +0200] rev 63052

Linear_Algebra: generalize linear_independent_extend to all real vector spaces

hoelzl [Fri, 22 Apr 2016 11:57:03 +0200] rev 63051

Linear_Algebra: alternative representation of linear combination

hoelzl [Fri, 22 Apr 2016 11:43:47 +0200] rev 63050

Linear_Algebra: move abstract concepts to front

blanchet [Mon, 25 Apr 2016 22:59:53 +0200] rev 63049

merge

blanchet [Mon, 25 Apr 2016 21:09:02 +0200] rev 63048

avoid duplicate mixfix messages in '(co)datatype' type name

blanchet [Mon, 25 Apr 2016 19:23:20 +0200] rev 63047

generalize code to avoid making assumptions about type variable names

traytel [Fri, 15 Apr 2016 21:33:47 +0200] rev 63046

intermediate definitions and caching in n2m to keep terms small

traytel [Thu, 14 Apr 2016 20:29:42 +0200] rev 63045

n2m operates on (un)folds

wenzelm [Mon, 25 Apr 2016 21:32:23 +0200] rev 63044

clarified rendering;

wenzelm [Mon, 25 Apr 2016 19:41:39 +0200] rev 63043

old 'def' is legacy;

isabelle