src/HOL/IOA/ABP/Lemmas.thy
changeset 2919 953a47dc0519
parent 1139 993e475e70e2