src/HOL/Multivariate_Analysis/Complex_Analysis_Basics.thy
Sat, 02 Jul 2016 20:22:25 +0200 haftmann simplified definitions of combinatorial functions
Wed, 15 Jun 2016 22:19:03 +0200 hoelzl move open_Collect_eq/less to HOL
Fri, 13 May 2016 20:24:10 +0200 wenzelm eliminated use of empty "assms";
less more (0) -30 -10 -3 tip