src/HOL/Library/Transitive_Closure_Table.thy
changeset 51288 be7e9a675ec9
parent 46359 9bc43dc49d0a
child 55419 8b7c7157fa11