src/HOL/IMPP/Misc.thy
changeset 19979 a0846edbe8b0
parent 19803 aa2581752afb
child 27148 5b78e50adc49
equal deleted inserted replaced
19978:df19a7876183 19979:a0846edbe8b0