src/HOL/Trancl.thy
changeset 6349 f7750d816c21
parent 5608 a82a038a3e7a
child 6906 46652582f831