src/HOL/Library/Code_Target_Int.thy
Sat, 22 Apr 2017 22:01:35 +0200 wenzelm theories "GCD" and "Binomial" are already included in "Main": this avoids improper imports in applications;
less more (0) -10 -1 tip