src/HOL/Auth/NS_Public_Bad.thy
changeset 3500 0d8ad2f192d8
parent 3465 e85c24717cad
child 3519 ab0a9fbed4c0