recursive.thy
Sat, 12 Jan 2013 01:33:20 +0000 Christian Urban removed second definition of tshift in abacus.
less more (0) tip