Unused.thy
2009-10-15 Cezary Kaliszyk Reordering the code, part 3
less more (0) tip