proper error message

proper handling of type variabl names

completing arities after subclass instance

untabification

tuned code generator setup

added equivariance lemmas for ex1 and the

add lemmas about Rats similar to those about Reals

move real_vector class proofs into vector_space and group_hom locales

added distributivity of relation composition over union [simp]

tuned append;

command: symbols.encode;

Reorganisation of registration code.

function package: name primitive defs "f_sumC_def" instead of "f_sum_def" to avoid clashes

purge classes after compilation;

renamed Isabelle-repository to isabelle;

Defined rationals (Rats) globally in Rational. Chractarized them with a few lemmas in RealDef, one of them from Sqrt.

replaced /home/isabelle/html-data/isabelle-repos by /home/isabelle-repository/repos;

moved new Symbol.Interpretation into plugin;

promoted to EBPlugin; tuned;

explicitly depend on isabelle-Pure.jar and isabelle-scala-library.jar;

tuned;

isabelle process: pick options/args from properties;

removed unused ConsolePlugin dependency; added menu item; added some Isabelle options;

simplified exceptions: use plain error function / RuntimeException;

added try_result;

misc reorganization; simplified consumer thread; more robust stop;

Kind: added is_control; more robust kill/exit; tuned interfaces;

get: allow null;