src/HOL/Library/Prefix_Order.thy
changeset 56967 c3746e999805
parent 55579 207538943038
child 58881 b9556a055632
equal deleted inserted replaced
56966:01637dd1260c 56967:c3746e999805