src/HOL/HOL.thy
changeset 31488 5691ccb8d6b5
parent 31299 0c5baf034d0e
child 31804 627d142fce19