repaired 'prepat's, the patterns and preconditions for Rrls

fun parse_patt still lacks numbers_to_string, typ_a2real
because this causes a strange error in Poly.thy to be removed next

 # -*- shell-script -*- :mode=shellscript:

 #

 # Isabelle user settings sample -- for use in ~/.isabelle/etc/settings

 ISABELLE_USEDIR_OPTIONS="-i true -d pdf"

 ISABELLE_LOGIC=HOL