turned translation for 1::nat into def.
introduced 1' and replaced most occurrences of 1 by 1'.
# -*- shell-script -*-# $Id$## Isabelle user settings sample -- may be copied to ~/isabelle/etc/settingsISABELLE_USEDIR_OPTIONS="-i true -d pdf"ISABELLE_LOGIC=HOL