clarified signature;

avoid redundant export handling for build;

prefer single name

more lemmas

build bit operations on word on library theory on bit operations

bit operations as distinctive library theory

tweak for code generation

pragmatically ruled out word types of length zero: a bit string with no bits is not bit string at all

more lemmas and less name space pollution

canonical bit shifts for word type, leaving duplicates as they are at the moment

essential instance about bit structure

more transfer rules

dropped yet another duplicate

fundamental construction of word type following existing transfer rules

replaced mere alias by input abbreviation

replaced mere alias by abbreviation

replaced operation with weak abstraction by input abbreviation

avoid compound operation

formal relationships between operations

eliminated warnings

replaced mere alias by input abbreviation

enable pide_session by default;

avoid resource problems of JVM by too many parallel XZ compression tasks;

interpretations for boolean operators

more specific thm reference

clarified errors;

fixed the utterly weird definitions of asym / asymp, and added many asym lemmas

tuned whitespace;

proper rendering of complex codepoints, e.g. \<^url> code: 0x01F310;

updated to jedit-5.6pre1 (repository version 25349);