afp entry Native_Word
updated afp copy
preliminary isabelle 2014 start script