src/CCL/trancl.thy
changeset 9028 8a1ec8f05f14
parent 0 a5a9c433f639