thys/UTM.thy
2013-02-11 Christian Urban removed some dead code
less more (0) -1 tip