Quot/Examples/Terms.thy
changeset 929 e812f58fd128
parent 917 2cb5745f403e
child 947 fa810f01f7b5
equal deleted inserted replaced
928:44c92eaa4fad 929:e812f58fd128