Closure.thy
changeset 92 a9ebc410a5c8
parent 5 074d9a4b2bc9
child 162 e93760534354
equal deleted inserted replaced
91:37ab56205097 92:a9ebc410a5c8