src/HOL/Wellfounded.thy
changeset 30120 aaa4667285c8
parent 29609 a010aab5bed0
child 30430 42ea5d85edcc
equal deleted inserted replaced
30119:391e12ff816c 30120:aaa4667285c8