recursive.thy
2013-01-12 Christian Urban removed second definition of tshift in abacus.
2012-12-24 Christian Urban initial setup
less more (0) tip