Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- more operations on types and terms; abstract syntax operations for Pure and HOL;
- clarified jEdit java sources;
- clarified build.gradle: "compile" stopped working in gradle 6.x / 7.x for unknown reasons;
- removed junk;
- moved theory Bit_Operations into Main corpus
Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)
Summary
- restored executable conversions
- dropped junk
- moved theory Bit_Operations into Main corpus