less rude treatment of "no_def";

added Library/Rational_Numbers.thy;

improved superclass entry for classes and definition status of is_class, class corrected recursive definitions of "method" and "fields" cleanup of many proofs, removed superfluous tactics and theorems