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