src/HOL/Main.thy
changeset 26300 03def556e26e
parent 25964 080f89d89990
child 26729 43a72d892594