src/HOL/Library/Graphs.thy
changeset 23315 df3a7e9ebadb
parent 23014 00d8bf2fce42
child 23373 ead82c82da9e