adding setup for handling arithmetic of natural numbers and integers precisely and more efficiently in the predicate compiler; changed alternative size_list definition for predicate compiler
$Id$
This directory contains some administrative tools for the Isabelle
repository at TUM. They do not appear in proper distributions.