src/HOL/Nominal/INSTALL
changeset 20608 86cb35b93f01
parent 20605 56e4bb01fd99
child 28504 7ad7d7d6df47
equal deleted inserted replaced
20607:926a76a84e97 20608:86cb35b93f01