systematize lazy names in relevance filter

rationalize relevance filter, slowing moving code from Iter to MaSh

killed one file

dependency tuning

renaming

clean up dependencies

explicitly import Dlist theory into library

tuned whitespace

dropped ancient example generates

basic support for session ROOT files, with examples for FOL and ZF;

more accurate imitation of formal text;

avoid Source.fromFile, which does not necessarily close its input;

tuned imports;

basic setup for Isabelle build tool;

more standard main method;

avoid slightly odd share_common_data -- Poly/ML 5.5.x should manage low-memory situations (cf. f55e77f623ab);

improved equality optimisation in Quickcheck

more direct Sorts.has_instance; tuned Sorts.mg_domain;

replaced quicksort by mergesort, which might be a bit more efficient for key operations like Ord_List.make, Sorts.minimize_sort;

comment;

added universal jdk-6u31.tar.gz component (post Isabelle2012);

more components from Isabelle2011-1 and Isabelle2012;

deactivate Find_Unused_Assms_Examples to see if isabelle test's failures is caused by this example file

merged;

updated versions

added component integrity checks and some initial checksums

prefer canonical fold_rev;

back to naive insertion sort before 1997 to accommodate peculiar less_arg relation -- NB: make_ord arg_less was not a quasi-order and thus inappropriate for generic sort (cf. de74b549f976, ecfeff48bf0c);

tuned proof;

more precise imports;