author nipkow
Tue, 22 Mar 2011 12:49:07 +0100
changeset 42059 83f3dc509068
parent 36859 51af1657263b
child 48835 574042d14fd9
permissions -rw-r--r--
fixed a printing problem for bounded quantifiers and bounded set operators in the case of tuples

This directory contains some administrative tools for the Isabelle
repository at TUM.  They do not appear in proper distributions.