UF.thy
2012-12-24 Christian Urban initial setup
less more (0) tip