src/HOL/Proofs/Extraction/Warshall.thy
changeset 57514 bdc2c6b40bf2
parent 51272 9c8d63b4b6be
child 58272 61d94335ef6c
equal deleted inserted replaced
57513:55b2afc5ddfc 57514:bdc2c6b40bf2