Numerals now work for the integers: the binary numerals for 0 and 1 rewrite
to their abstract counterparts, while other binary numerals work correctly.
use "../settings.ML";
use_thy "Even";
use_thy "Mutual";
use_thy "Star";
use_thy "AB";
use_thy "Advanced";