Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Generalisation of many theorems to a more abstract type class (suggested by Mr Anonymous)

Changeset 70746:cf7b5020c207 by paulson _lp15@cam.ac.uk_: Generalisation of many theorems to a more abstract type class (suggested by Mr Anonymous)
The file was modified	`src/HOL/Set_Interval.thy`