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

This directory contains some administrative tools for the Isabelle

repository at TUM.  They do not appear in proper distributions.