src/HOL/Auth/NS_Public_Bad.ML
changeset 4198 c63639beeff1
parent 4197 1547bc6daa5a
child 4449 df30e75f670f