src/HOL/README
changeset 1574 5a63ab90ee8a
parent 1339 f1a3a7b44ff1