hol.thy
changeset 95 3da472b96f25
parent 66 14b9286ed036