src/HOL/Auth/ZhouGollmann.thy
changeset 47884 21c42b095c84
parent 37936 1e4c5015a72e
child 56073 29e308b56d23
equal deleted inserted replaced
47883:9dcfcdbdb2ba 47884:21c42b095c84