thys/Re.thy
2014-09-08 Christian Urban initial version of the theory
less more (0) tip