Organize Isabelle files